Joanna Golinska-Pilarek

Michal Zawidzki

Proceedings of the Automated Deduction - CADE 28, 2021

2019

Deduction in Non-Fregean Propositional Logic SCI.

[BibT_eX]

[DOI]

Magdalena Welle

Axioms, 2019

Tableau-based Decision Procedure for the Logic SCI.

[BibT_eX]

[DOI]

Michal Zawidzki

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2016

On the Minimal Non-Fregean Grzegorczyk Logic.

[BibT_eX]

[DOI]

Stud Logica, 2016

Non-Fregean Propositional Logic with Quantifiers.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2016

Tableau reductions: Towards an optimal decision procedure for the modal necessity.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

2015

A hybrid qualitative approach for relative movements.

[BibT_eX]

[DOI]

Log. J. IGPL, 2015

2014

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.

[BibT_eX]

[DOI]

Linh Anh Nguyen

Fundam. Informaticae, 2014

ExpTime Tableaux with Global Caching for the Description Logic SHOQ.

[BibT_eX]

[DOI]

Linh Anh Nguyen

CoRR, 2014

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2014

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.

[BibT_eX]

[DOI]

Domenico Cantone

Marianna Nicolosi Asmundo

Proceedings of the Hybrid Artificial Intelligence Systems - 9th International Conference, 2014

2013

Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference SOCO'13-CISIS'13-ICEUTE'13, 2013

An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.

[BibT_eX]

[DOI]

Linh Anh Nguyen

Proceedings of the 22nd International Workshop on Concurrency, 2013

Relational Dual Tableaux: Foundations and Applications.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012

Relational dual tableau decision procedure for modal logic K.

[BibT_eX]

[DOI]

Angel Mora-Bonilla

Log. J. IGPL, 2012

On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Reasoning with Qualitative Velocity: Towards a Hybrid Approach.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligent Systems - 7th International Conference, 2012

2011

Implementing a relational theorem prover for modal logic.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2011

A new deduction system for deciding validity in modal logic K.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

Dual tableau for monoidal triangular norm logic MTL.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2011

2009

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2009

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

2008

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

2007

Tableaux and Dual Tableaux: Transformation of Proofs.

[BibT_eX]

[DOI]

Stud Logica, 2007

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Relational Reasoning in Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the FUZZ-IEEE 2007, 2007

2006

Number of non-Fregean sentential logics that have adequate models.

[BibT_eX]

[DOI]

Math. Log. Q., 2006

Relational proof systems for spatial reasoning.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2006

Relational dual tableaux for interval temporal logics.

[BibT_eX]

[DOI]

Davide Bresolin

J. Appl. Non Class. Logics, 2006

Relational Logics and Their Applications.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

Number of Extensions of Non-Fregean Logics.

[BibT_eX]

[DOI]