- Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.details
|
|
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ mbC.Szymon Chlebowski, Andrzej Gajda & Mariusz Urbański - 2021 - Studia Logica 110 (2):479-509.details
|
|
Inquiring Attitudes and Erotetic Logic: Norms of Restriction and Expansion.Dennis Whitcomb & Jared Millson - forthcoming - Journal of the American Philosophical Association:1-23.details
|
|
Logic, Reasoning, and Rationality.Erik Weber, Joke Meheus & Dietlinde Wouters (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.details
|
|
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.details
|
|
Intuitionistic Socratic procedures.Tomasz F. Skura - 2005 - Journal of Applied Non-Classical Logics 15 (4):453-464.details
|
|
Can Başkent, Perspectives on Interrogative Models of Inquiry, Springer, 2016. [REVIEW]Francesca Poggiolesi - 2016 - Logic and Logical Philosophy 25 (4):555-560.details
|
|
A Defeasible Calculus for Zetetic Agents.Jared A. Millson - 2021 - Logic and Logical Philosophy 30 (1):3-37.details
|
|
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica (6):1-34.details
|
|
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.details
|
|
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.details
|
|
Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study.Dorota Leszczyńska-Jasion, Mateusz Ignaszak & Szymon Chlebowski - 2019 - Studia Logica 107 (2):313-349.details
|
|
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.details
|
|
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.details
|
|
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.details
|
|
Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs.Aleksandra Grzelak & Dorota Leszczyńska-Jasion - 2018 - Logic Journal of the IGPL 26 (1):109-148.details
|
|
An Essay on Inferential Erotetic Logic.Andrzej Wiśniewski - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 105–138.details
|
|
Comments on Dorota Leszczyńska-Jasion’s The Method of Socratic Proofs.Jared A. Millson - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 199–209.details
|
|
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 183–198.details
|
|