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