Follow
Dorota Leszczyńska-Jasion
Dorota Leszczyńska-Jasion
Verified email at amu.edu.pl
Title
Cited by
Cited by
Year
Socratic proofs and paraconsistency: A case study
A Wiśniewski, G Vanackere, D Leszczyńska
Studia Logica 80 (2), 431-466, 2005
202005
Socratic proofs for some normal modal propositional logics
D Leszczyńska
Logique et Analyse, 259-285, 2004
202004
Socratic trees
D Leszczyńska-Jasion, M Urbański, A Wiśniewski
Studia Logica 101 (5), 959-986, 2013
192013
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
182014
Inferential erotetic logic meets inquisitive semantics
A Wiśniewski, D Leszczyńska-Jasion
Synthese 192 (6), 1585-1608, 2015
152015
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 (3), 365-399, 2008
142008
The method of Socratic proofs for normal modal propositional logics
D Leszczyńska
Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2007
142007
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
132015
A loop-free decision procedure for modal propositional logics K4, S4 and S5
D Leszczyńska-Jasion
Journal of Philosophical Logic 38 (2), 151-177, 2009
132009
Dual Erotetic Calculi and the Minimal LFI
S Chlebowski, D Leszczyńska-Jasion
Studia Logica 103 (6), 1245-1278, 2015
92015
Erotetic search scenarios and three-valued logic
D Leszczyńska-Jasion, P Łupkowski
Journal of Logic, Language and Information 25 (1), 51-76, 2016
82016
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
72013
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
52019
Synthetic tableaux with unrestricted cut for first-order theories
D Leszczyńska-Jasion, S Chlebowski
Axioms 8 (4), 133, 2019
52019
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
42018
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
32019
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
32019
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
22021
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
22018
Dual Erotetic Calculi and the Minimal LFI
D Leszczyńska-Jasion, S Chlebowski
Studia Logica 103 (6), 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20