Joanna Golinska-Pilarek

发表

Implementing a relational theorem prover for modal logic

Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2011, Int. J. Comput. Math..

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

Joanna Golinska-Pilarek, 2012, JELIA.

Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K

Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2013, SOCO-CISIS-ICEUTE.

A new deduction system for deciding validity in modal logic K

Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2011, Log. J. IGPL.

Relational Logics and Their Applications

Joanna Golinska-Pilarek, Ewa Orlowska, E. Orlowska, 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

Tableau-based Decision Procedure for the Logic SCI

Joanna Golinska-Pilarek, Michal Zawidzki, 2019, OVERLAY@AI*IA.

Relational dual tableaux for interval temporal logics ★

Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska, 2006, J. Appl. Non Class. Logics.

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

Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, 2009, Log. J. IGPL.

Tableaux and Dual Tableaux: Transformation of Proofs

Joanna Golinska-Pilarek, Ewa Orlowska, E. Orlowska, 2007, Stud Logica.

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

Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, Taneli Huuskonen, 2014, Ann. Pure Appl. Log..

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

Joanna Golinska-Pilarek, Joanna Golinska-Pilarek, 2007, J. Appl. Non Class. Logics.

Number of non-Fregean sentential logics that have adequate models

Joanna Golinska-Pilarek, 2006, Math. Log. Q..

Relational Reasoning inFormalConceptAnalysis

Joanna Golinska-Pilarek, 2007 .

Reasoning with Qualitative Velocity: Towards a Hybrid Approach

Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2012, HAIS.

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics

Domenico Cantone, Marianna Nicolosi Asmundo, Joanna Golinska-Pilarek, 2014, HAIS.

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

Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, 2009, Int. J. Comput. Math..

ExpTime Tableaux with Global Caching for the Description Logic SHOQ pdf

Joanna Golinska-Pilarek, Linh Anh Nguyen, Joanna Golinska-Pilarek, 2014, ArXiv.

Relational Dual Tableaux: Foundations and Applications

Joanna Golinska-Pilarek, 2013, CILC.

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

Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2008, PRICAI.

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

Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2016, J. Appl. Log..

On the Minimal Non-Fregean Grzegorczyk Logic

Joanna Golinska-Pilarek, 2016, Stud Logica.

Non-Fregean Propositional Logic with Quantifiers

Joanna Golinska-Pilarek, Taneli Huuskonen, 2016, Notre Dame J. Formal Log..

Number of Extensions of Non-Fregean Logics

Joanna Golinska-Pilarek, Taneli Huuskonen, 2005, J. Philos. Log..

Dual tableau for monoidal triangular norm logic MTL

Joanna Golinska-Pilarek, Ewa Orlowska, E. Orlowska, 2011, Fuzzy Sets Syst..

Relational Reasoning in Formal Concept Analysis

Joanna Golinska-Pilarek, Ewa Orlowska, 2007, 2007 IEEE International Fuzzy Systems Conference.

Relational dual tableau decision procedure for modal logic K

Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, Angel Mora, 2012, Log. J. IGPL.

A hybrid qualitative approach for relative movements

Emilio Muñoz-Velasco, Joanna Golinska-Pilarek, 2015, Log. J. IGPL.

Tableau-based decision procedure for non-Fregean logic of sentential identity pdf

Joanna Golinska-Pilarek, Michal Zawidzki, Taneli Huuskonen, 2021, CADE.