Cut-free Double Sequent Calculus for S5. - Andrzej Indrzejczak (Log. J. IGPL, 1998)

A Labelled Natural Deduction System for Linear Temporal Logic. - Andrzej Indrzejczak (Stud Logica, 2003)

Possible Worlds in Use. - Andrzej Indrzejczak (Stud Logica, 2011)

Introduction. - Andrzej Indrzejczak (Stud Logica, 2014)

A Survey of Nonstandard Sequent Calculi. - Andrzej Indrzejczak (Stud Logica, 2014)

Eliminability of cut in hypersequent calculi for some modal logics of linear frames. - Andrzej Indrzejczak (Inf. Process. Lett., 2015)

Linear Time in Hypersequent Framework. - Andrzej Indrzejczak (Bull. Symb. Log., 2016)

Cut-Free Modal Theory of Definite Descriptions. - Andrzej Indrzejczak (Advances in Modal Logic, 2018)

Two Is Enough - Bisequent Calculus for S5. - Andrzej Indrzejczak (FroCos, 2019)

Cut Elimination in Hypersequent Calculus for some Logics of linear Time. - Andrzej Indrzejczak (Rev. Symb. Log., 2019)

Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. - Andrzej Indrzejczak (AiML, 2020)

Tableaux for Free Logics with Descriptions. - Andrzej Indrzejczak; Michal Zawidzki (TABLEAUX, 2021)

Free Logics are Cut-Free. - Andrzej Indrzejczak (Stud Logica, 2021)

Leśniewski's Ontology - Proof-Theoretic Characterization. - Andrzej Indrzejczak (IJCAR, 2022)

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus. - Andrzej Indrzejczak; Yaroslav I. Petrukhin (CADE, 2023)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators. - Andrzej Indrzejczak (TABLEAUX, 2023)

A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. - Andrzej Indrzejczak; Nils Kürbis (TABLEAUX, 2023)

Russellian Definite Description Theory - a Proof Theoretic Approach. - Andrzej Indrzejczak (Rev. Symb. Log., 2023)

Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation. - Andrzej Indrzejczak (J. Autom. Reason., 2023)

When Epsilon meets Lambda: Extended Leśniewski's Ontology. - Andrzej Indrzejczak (ARQNL@IJCAR, 2024)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions. - Andrzej Indrzejczak; Yaroslav I. Petrukhin (ARQNL@IJCAR, 2024)

Definite Descriptions and Hybrid Tense Logic. - Andrzej Indrzejczak; Michal Zawidzki (CoRR, 2024)

Uniform Cut-free Bisequent Calculi for Three-valued Logics. - Andrzej Indrzejczak; Yaroslav I. Petrukhin (CoRR, 2024)

Cut Elimination for Negative Free Logics with Definite Descriptions. - Andrzej Indrzejczak (CADE, 2025)

On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. - Andrzej Indrzejczak; Przemyslaw Andrzej Walega; Michal Zawidzki (JELIA (2), 2025)