Joanna Golińska-Pilarek

Available identifiers

zbMath Open golinska-pilarek.joannaMaRDI QIDQ284217

List of research outcomes

Publication	Date of Publication	Type
Everything is a relation: a preview	2024-09-06	Paper
Engaged in relations: a trialogue	2024-09-06	Paper
Bibliography of Ewa Orłowska	2024-09-06	Paper
Tableau-based decision procedure for non-Fregean logic of sentential identity	2021-12-01	Paper
A Mystery of Grzegorczyk’s Logic of Descriptions	2019-01-21	Paper
A hybrid qualitative approach for relative movements	2019-01-08	Paper
Tableau reductions: towards an optimal decision procedure for the modal necessity	2016-09-09	Paper
Non-Fregean propositional logic with quantifiers	2016-05-25	Paper
On the minimal non-Fregean Grzegorczyk logic	2016-05-17	Paper
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ	2015-06-26	Paper
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics	2013-12-10	Paper
Relational dual tableau decision procedure for modal logic K	2013-06-04	Paper
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility	2012-09-21	Paper
Implementing a relational theorem prover for modal logic K	2011-06-15	Paper
A new deduction system for deciding validity in modal logic K	2011-05-18	Paper
Dual tableau for monoidal triangular norm logic MTL	2011-01-31	Paper
Dual tableaux. Foundations, methodology, case studies	2010-10-19	Paper
Relational dual tableaux for interval temporal logics	2009-11-30	Paper
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI	2009-11-30	Paper
Relational proof systems for spatial reasoning	2009-11-30	Paper
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility	2009-11-10	Paper
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance	2009-08-12	Paper
Logics of Similarity and their Dual Tableaux A Survey	2009-07-27	Paper
Relational Logics and Their Applications	2009-01-20	Paper
Tableaux and dual tableaux: transformation of proofs	2007-09-10	Paper
Number of non-Fregean sentential logics that have adequate models	2007-02-07	Paper
Number of extensions of non-Fregean logics	2006-02-08	Paper

Research outcomes over time

This page was built for person: Joanna Golińska-Pilarek