Dorota Leszczynska-Jasion

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 8

Top Topics

Logical Theories

Sequent Calculus

Dominance Relation

Search Heuristics

Top Venues

ACM Trans. Comput. Log.

J. Log. Lang. Inf.

Publications

Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz
Synthetic Tableaux: Minimal Tableau Search Heuristics. IJCAR (2022)
Agata Tomczyk, Dorota Leszczynska-Jasion
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. NCL (2022)
Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski
Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. Stud Logica 107 (2) (2019)
Dorota Leszczynska-Jasion, Szymon Chlebowski
Synthetic Tableaux with Unrestricted Cut for First-Order Theories. Axioms 8 (4) (2019)
Aleksandra Grzelak, Dorota Leszczynska-Jasion
Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs. Log. J. IGPL 26 (1) (2018)
Dorota Leszczynska-Jasion, Pawel Lupkowski
Erotetic Search Scenarios and Three-Valued Logic. J. Log. Lang. Inf. 25 (1) (2016)
Szymon Chlebowski, Dorota Leszczynska-Jasion
Dual Erotetic Calculi and the Minimal LFI. Stud Logica 103 (6) (2015)
Andrzej Wisniewski, Dorota Leszczynska-Jasion
Inferential erotetic logic meets inquisitive semantics. Synth. 192 (6) (2015)
Maciej Komosinski, Adam Kups, Dorota Leszczynska-Jasion, Mariusz Urbanski
Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation. ACM Trans. Comput. Log. 15 (4) (2014)
Dorota Leszczynska-Jasion, Mariusz Urbanski, Andrzej Wisniewski
Socratic Trees. Stud Logica 101 (5) (2013)
Dorota Leszczynska-Jasion
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5. J. Philos. Log. 38 (2) (2009)
Dorota Leszczynska-Jasion
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. Stud Logica 89 (3) (2008)