Socratic proofs and paraconsistency: A case study A Wiśniewski, G Vanackere, D Leszczyńska Studia Logica 80, 431-466, 2005 | 22 | 2005 |
Socratic proofs for some normal modal propositional logics D Leszczyńska Logique et Analyse, 259-285, 2004 | 21 | 2004 |
Inferential erotetic logic meets inquisitive semantics A Wiśniewski, D Leszczyńska-Jasion Synthese 192 (6), 1585-1608, 2015 | 20 | 2015 |
Identifying efficient abductive hypotheses using multicriteria dominance relation M Komosinski, A Kups, D Leszczyńska-Jasion, M Urbański ACM Transactions on Computational Logic (TOCL) 15 (4), 1-20, 2014 | 20 | 2014 |
Socratic trees D Leszczyńska-Jasion, M Urbański, A Wiśniewski Studia Logica 101, 959-986, 2013 | 20 | 2013 |
The method of socratic proofs for modal propositional logics: K5, S4. 2, S4. 3, S4F, S4R, S4M and G D Leszczyńska-Jasion Studia Logica 89, 365-399, 2008 | 15 | 2008 |
The method of Socratic proofs for normal modal propositional logics D Leszczyńska Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2007 | 15 | 2007 |
A loop-free decision procedure for modal propositional logics K4, S4 and S5 D Leszczyńska-Jasion Journal of Philosophical Logic 38, 151-177, 2009 | 14 | 2009 |
Generating cooperative question-responses by means of erotetic search scenarios P Łupkowski, D Leszczyńska-Jasion Logic and Logical Philosophy 24 (1), 61–78-61–78, 2015 | 13 | 2015 |
Dual Erotetic Calculi and the Minimal S Chlebowski, D Leszczyńska-Jasion Studia Logica 103 (6), 1245-1278, 2015 | 10 | 2015 |
Erotetic search scenarios and three-valued logic D Leszczyńska-Jasion, P Łupkowski Journal of Logic, Language and Information 25, 51-76, 2016 | 9 | 2016 |
Functional completeness in CPL via correspondence analysis D Leszczyńska-Jasion, Y Petrukhin, V Shangin, M Jukiewicz Bulletin of the Section of Logic 48 (1), 45–76-45–76, 2019 | 7 | 2019 |
Erotetic search scenarios as families of sequences and erotetic search scenarios as trees: two different, yet equal accounts D Leszczyńska-Jasion Research report 1 (1), 2013 | 7 | 2013 |
An investigation into intuitionistic logic with identity S Chlebowski, D Leszczyńska-Jasion Bulletin of the Section of Logic 48 (4), 259–283-259–283, 2019 | 6 | 2019 |
Synthetic tableaux with unrestricted cut for first-order theories D Leszczyńska-Jasion, S Chlebowski Axioms 8 (4), 133, 2019 | 6 | 2019 |
From Questions to Proofs D Leszczyńska-Jasion Between the Logic of Questions and Proof Theory. Poznań, 2018 | 6 | 2018 |
The method of Socratic proofs meets correspondence analysis D Leszczyńska-Jasion, Y Petrukhin, V Shangin Bulletin of the Section of Logic 48 (2), 99-116, 2019 | 5 | 2019 |
From Questions to Proofs. Between the Logic of Questions and Proof Theory D Leszczyńska-Jasion Wydawnictwo Naukowe Wydziału Nauk Społecznych UAM, 2018 | 4 | 2018 |
6 The Method of Socratic Proofs: From the Logic of Questions to Proof Theory1 D Leszczyńska-Jasion, FS Cohen Asking and Answering: Rivalling Approaches to Interrogative Methods, 183, 2021 | 2 | 2021 |
Automatic proof generation in an axiomatic system for by means of the method of Socratic proofs A Grzelak, D Leszczyńska-Jasion Logic Journal of the IGPL 26 (1), 109-148, 2018 | 2 | 2018 |