Socratic Proofs and Paraconsistency: A Case Study. - Andrzej Wisniewski; Guido Vanackere; Dorota Leszczynska (Stud Logica, 2005)

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. - Dorota Leszczynska-Jasion (Stud Logica, 2008)

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5. - Dorota Leszczynska-Jasion (J. Philos. Log., 2009)

Socratic Trees. - Dorota Leszczynska-Jasion; Mariusz Urbanski; Andrzej Wisniewski (Stud Logica, 2013)

Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation. - Maciej Komosinski; Adam Kups; Dorota Leszczynska-Jasion; Mariusz Urbanski (ACM Trans. Comput. Log., 2014)

Dual Erotetic Calculi and the Minimal LFI. - Szymon Chlebowski; Dorota Leszczynska-Jasion (Stud Logica, 2015)

Inferential erotetic logic meets inquisitive semantics. - Andrzej Wisniewski; Dorota Leszczynska-Jasion (Synth., 2015)

Erotetic Search Scenarios and Three-Valued Logic. - Dorota Leszczynska-Jasion; Pawel Lupkowski (J. Log. Lang. Inf., 2016)

Automatic proof generation in an axiomatic system for $$ mathsf{CPL}$$ by means of the method of Socratic proofs. - Aleksandra Grzelak; Dorota Leszczynska-Jasion (Log. J. IGPL, 2018)

Synthetic Tableaux with Unrestricted Cut for First-Order Theories. - Dorota Leszczynska-Jasion; Szymon Chlebowski (Axioms, 2019)

Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. - Dorota Leszczynska-Jasion; Mateusz Ignaszak; Szymon Chlebowski (Stud Logica, 2019)

A Simple Criterion to Locate a Multinational Corporation Resulting from Optimization of Technological Knowledge Transfer. - Dorota Leszczynska; Erick Pruchnicki (Int. J. Technol. Hum. Interact., 2020)

Synthetic Tableaux: Minimal Tableau Search Heuristics. - Michal Sochanski; Dorota Leszczynska-Jasion; Szymon Chlebowski; Agata Tomczyk; Marcin Jukiewicz (IJCAR, 2022)

Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. - Agata Tomczyk; Dorota Leszczynska-Jasion (NCL, 2022)