Joanna Golinska-Pilarek

35 papers A 1B 3Misc 1Journal 23Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Deciding Non-fregean Identities: A Dual Tableau Approach.
JELIA (2)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2025 J jnl
Non-Fregean World of Logics.
J. Philos. Log.
Joanna Golinska-Pilarek
2025 J jnl
Paraconsistency in Non-Fregean Framework.
Stud Logica
Joanna Golinska-Pilarek
2021 A conf
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.
CADE
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2021 J jnl
Tableau-based decision procedure for non-Fregean logic of sentential identity.
CoRR
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
2019 J jnl
Deduction in Non-Fregean Propositional Logic SCI.
Axioms
Joanna Golinska-Pilarek, Magdalena Welle
2019 — conf
Tableau-based Decision Procedure for the Logic SCI.
OVERLAY@AI*IA
Joanna Golinska-Pilarek, Michal Zawidzki
2016 J jnl
Non-Fregean Propositional Logic with Quantifiers.
Notre Dame J. Formal Log.
Joanna Golinska-Pilarek, Taneli Huuskonen
2016 J jnl
On the Minimal Non-Fregean Grzegorczyk Logic.
Stud Logica
Joanna Golinska-Pilarek
2016 J jnl
Tableau reductions: Towards an optimal decision procedure for the modal necessity.
J. Appl. Log.
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora
2015 J jnl
A hybrid qualitative approach for relative movements.
Log. J. IGPL
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
2014 Misc conf
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.
HAIS
Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo
2014 J jnl
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.
Fundam. Informaticae
Linh Anh Nguyen, Joanna Golinska-Pilarek
2014 J jnl
ExpTime Tableaux with Global Caching for the Description Logic SHOQ.
CoRR
Linh Anh Nguyen, Joanna Golinska-Pilarek
2014 J jnl
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.
Ann. Pure Appl. Log.
Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco
2013 — conf
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.
CS&P
Linh Anh Nguyen, Joanna Golinska-Pilarek
2013 — conf
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K.
SOCO-CISIS-ICEUTE
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora
2013 — conf
Relational Dual Tableaux: Foundations and Applications.
CILC
Joanna Golinska-Pilarek
2012 B conf
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.
JELIA
Joanna Golinska-Pilarek
2012 — conf
Reasoning with Qualitative Velocity: Towards a Hybrid Approach.
HAIS (1)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
2012 J jnl
Relational dual tableau decision procedure for modal logic K.
Log. J. IGPL
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla
2011 J jnl
A new deduction system for deciding validity in modal logic K.
Log. J. IGPL
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora
2011 J jnl
Dual tableau for monoidal triangular norm logic MTL.
Fuzzy Sets Syst.
Joanna Golinska-Pilarek, Ewa Orlowska
2011 J jnl
Implementing a relational theorem prover for modal logic.
Int. J. Comput. Math.
Ángel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek
2009 J jnl
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.
Int. J. Comput. Math.
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
2009 J jnl
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.
Log. J. IGPL
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
2008 B conf
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
PRICAI
Joanna Golinska-Pilarek, Ángel Mora, Emilio Muñoz-Velasco
2007 J jnl
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.
J. Appl. Non Class. Logics
Joanna Golinska-Pilarek
2007 B conf
Relational Reasoning in Formal Concept Analysis.
FUZZ-IEEE
Joanna Golinska-Pilarek, Ewa Orlowska
2007 J jnl
Tableaux and Dual Tableaux: Transformation of Proofs.
Stud Logica
Joanna Golinska-Pilarek, Ewa Orlowska
2006 J jnl
Number of non-Fregean sentential logics that have adequate models.
Math. Log. Q.
Joanna Golinska-Pilarek
2006 — ch.
Relational Logics and Their Applications.
Theory and Applications of Relational Structures as Knowledge Instruments
Joanna Golinska-Pilarek, Ewa Orlowska
2006 J jnl
Relational dual tableaux for interval temporal logics.
J. Appl. Non Class. Logics
Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska
2006 J jnl
Relational proof systems for spatial reasoning.
J. Appl. Non Class. Logics
Joanna Golinska-Pilarek, Ewa Orlowska
2005 J jnl
Number of Extensions of Non-Fregean Logics.
J. Philos. Log.
Joanna Golinska-Pilarek, Taneli Huuskonen