| Inferential erotetic logic meets inquisitive semantics A Wiśniewski, D Leszczyńska-Jasion Synthese 192 (6), 1585-1608, 2015 | 22 | 2015 |
| Socratic proofs and paraconsistency: A case study A Wiśniewski, G Vanackere, D Leszczyńska Studia Logica 80, 431-466, 2005 | 22 | 2005 |
| Socratic trees D Leszczyńska-Jasion, M Urbański, A Wiśniewski Studia Logica 101, 959-986, 2013 | 21 | 2013 |
| Socratic proofs for some normal modal propositional logics D Leszczyńska Logique et Analyse, 259-285, 2004 | 21 | 2004 |
| 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 | 19 | 2014 |
| 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 | 17 | 2008 |
| The method of Socratic proofs for normal modal propositional logics D Leszczyńska Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2007 | 17 | 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 | 15 | 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 |
| 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 | 11 | 2019 |
| Dual Erotetic Calculi and the Minimal S Chlebowski, D Leszczyńska-Jasion Studia Logica 103 (6), 1245-1278, 2015 | 11 | 2015 |
| Erotetic search scenarios and three-valued logic D Leszczyńska-Jasion, P Łupkowski Journal of Logic, Language and Information 25, 51-76, 2016 | 10 | 2016 |
| 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 | 9 | 2013 |
| Synthetic tableaux with unrestricted cut for first-order theories D Leszczyńska-Jasion, S Chlebowski Axioms 8 (4), 133, 2019 | 7 | 2019 |
| 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 |
| 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 D Leszczyńska-Jasion From the Logic of Questions to Proof Theory. To be published by Springer 196, 2021 | 5 | 2021 |
| 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 |
| Decidability of intuitionistic sentential logic with identity via sequent calculus A Tomczyk, D Leszczyńska-Jasion arXiv preprint arXiv:2204.06728, 2022 | 3 | 2022 |
