Dorota Leszczynska-Jasion

According to our database, Dorota Leszczynska-Jasion authored at least 14 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus.

Agata Tomczyk, Dorota Leszczynska-Jasion

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Synthetic Tableaux: Minimal Tableau Search Heuristics.

Michal Sochanski, Dorota Leszczynska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

A Simple Criterion to Locate a Multinational Corporation Resulting from Optimization of Technological Knowledge Transfer.

Dorota Leszczynska, Erick Pruchnicki

Int. J. Technol. Hum. Interact., 2020

2019

Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study.

Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski

Stud Logica, 2019

Synthetic Tableaux with Unrestricted Cut for First-Order Theories.

Dorota Leszczynska-Jasion, Szymon Chlebowski

Axioms, 2019

2018

Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs.

Aleksandra Grzelak, Dorota Leszczynska-Jasion

Log. J. IGPL, 2018

2016

Erotetic Search Scenarios and Three-Valued Logic.

Dorota Leszczynska-Jasion, Pawel Lupkowski

J. Log. Lang. Inf., 2016

2015

Inferential erotetic logic meets inquisitive semantics.

Andrzej Wisniewski, Dorota Leszczynska-Jasion

Synth., 2015

Dual Erotetic Calculi and the Minimal LFI.

Szymon Chlebowski, Dorota Leszczynska-Jasion

Stud Logica, 2015

2014

Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation.

Maciej Komosinski, Adam Kups, Dorota Leszczynska-Jasion, Mariusz Urbanski

ACM Trans. Comput. Log., 2014

2013

Socratic Trees.

Dorota Leszczynska-Jasion, Mariusz Urbanski, Andrzej Wisniewski

Stud Logica, 2013

2009

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.

Dorota Leszczynska-Jasion

J. Philos. Log., 2009

2008

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.

Dorota Leszczynska-Jasion

Stud Logica, 2008

2005

Socratic Proofs and Paraconsistency: A Case Study.

Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska

Stud Logica, 2005