Number of Extensions of Non-Fregean Logics. - Joanna Golinska-Pilarek; Taneli Huuskonen (J. Philos. Log., 2005)

Relational Logics and Their Applications. - Joanna Golinska-Pilarek; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Relational dual tableaux for interval temporal logics. - Davide Bresolin; Joanna Golinska-Pilarek; Ewa Orlowska (J. Appl. Non Class. Logics, 2006)

Relational proof systems for spatial reasoning. - Joanna Golinska-Pilarek; Ewa Orlowska (J. Appl. Non Class. Logics, 2006)

Number of non-Fregean sentential logics that have adequate models. - Joanna Golinska-Pilarek (Math. Log. Q., 2006)

Relational Reasoning in Formal Concept Analysis. - Joanna Golinska-Pilarek; Ewa Orlowska (FUZZ-IEEE, 2007)

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. - Joanna Golinska-Pilarek (J. Appl. Non Class. Logics, 2007)

Tableaux and Dual Tableaux: Transformation of Proofs. - Joanna Golinska-Pilarek; Ewa Orlowska (Stud Logica, 2007)

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. - Joanna Golinska-Pilarek; Ángel Mora 001; Emilio Muñoz-Velasco (PRICAI, 2008)

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (Log. J. IGPL, 2009)

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (Int. J. Comput. Math., 2009)

Dual tableau for monoidal triangular norm logic MTL. - Joanna Golinska-Pilarek; Ewa Orlowska (Fuzzy Sets Syst., 2011)

A new deduction system for deciding validity in modal logic K. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Ángel Mora 001 (Log. J. IGPL, 2011)

Implementing a relational theorem prover for modal logic. - Ángel Mora 001; Emilio Muñoz-Velasco; Joanna Golinska-Pilarek (Int. J. Comput. Math., 2011)

Reasoning with Qualitative Velocity: Towards a Hybrid Approach. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (HAIS (1), 2012)

On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. - Joanna Golinska-Pilarek (JELIA, 2012)

Relational dual tableau decision procedure for modal logic K. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Angel Mora-Bonilla (Log. J. IGPL, 2012)

Relational Dual Tableaux: Foundations and Applications. - Joanna Golinska-Pilarek (CILC, 2013)

An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. - Linh Anh Nguyen; Joanna Golinska-Pilarek (CS&P, 2013)

Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Ángel Mora 001 (SOCO-CISIS-ICEUTE, 2013)

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. - Domenico Cantone; Joanna Golinska-Pilarek; Marianna Nicolosi Asmundo (HAIS, 2014)

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. - Joanna Golinska-Pilarek; Taneli Huuskonen; Emilio Muñoz-Velasco (Ann. Pure Appl. Log., 2014)

ExpTime Tableaux with Global Caching for the Description Logic SHOQ. - Linh Anh Nguyen; Joanna Golinska-Pilarek (CoRR, 2014)

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. - Linh Anh Nguyen; Joanna Golinska-Pilarek (Fundam. Informaticae, 2014)

A hybrid qualitative approach for relative movements. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (Log. J. IGPL, 2015)

Tableau reductions: Towards an optimal decision procedure for the modal necessity. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Ángel Mora 001 (J. Appl. Log., 2016)

Non-Fregean Propositional Logic with Quantifiers. - Joanna Golinska-Pilarek; Taneli Huuskonen (Notre Dame J. Formal Log., 2016)

On the Minimal Non-Fregean Grzegorczyk Logic. - Joanna Golinska-Pilarek (Stud Logica, 2016)

Tableau-based Decision Procedure for the Logic SCI. - Joanna Golinska-Pilarek; Michal Zawidzki (OVERLAY@AI*IA, 2019)

Deduction in Non-Fregean Propositional Logic SCI. - Joanna Golinska-Pilarek; Magdalena Welle (Axioms, 2019)

Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. - Joanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki (CADE, 2021)

Deciding Non-fregean Identities: A Dual Tableau Approach. - Joanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki (JELIA (2), 2025)

Non-Fregean World of Logics. - Joanna Golinska-Pilarek (J. Philos. Log., 2025)

Paraconsistency in Non-Fregean Framework. - Joanna Golinska-Pilarek (Stud Logica, 2025)