Joanna Golińska-Pilarek

From MaRDI portal
Person:284217

Available identifiers

zbMath Open golinska-pilarek.joannaMaRDI QIDQ284217

List of research outcomes





PublicationDate of PublicationType
Everything is a relation: a preview2024-09-06Paper
Engaged in relations: a trialogue2024-09-06Paper
Bibliography of Ewa Orłowska2024-09-06Paper
Tableau-based decision procedure for non-Fregean logic of sentential identity2021-12-01Paper
A Mystery of Grzegorczyk’s Logic of Descriptions2019-01-21Paper
A hybrid qualitative approach for relative movements2019-01-08Paper
Tableau reductions: towards an optimal decision procedure for the modal necessity2016-09-09Paper
Non-Fregean propositional logic with quantifiers2016-05-25Paper
On the minimal non-Fregean Grzegorczyk logic2016-05-17Paper
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ2015-06-26Paper
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics2013-12-10Paper
Relational dual tableau decision procedure for modal logic K2013-06-04Paper
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility2012-09-21Paper
Implementing a relational theorem prover for modal logic K2011-06-15Paper
A new deduction system for deciding validity in modal logic K2011-05-18Paper
Dual tableau for monoidal triangular norm logic MTL2011-01-31Paper
Dual tableaux. Foundations, methodology, case studies2010-10-19Paper
Relational dual tableaux for interval temporal logics2009-11-30Paper
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI2009-11-30Paper
Relational proof systems for spatial reasoning2009-11-30Paper
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility2009-11-10Paper
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance2009-08-12Paper
Logics of Similarity and their Dual Tableaux A Survey2009-07-27Paper
Relational Logics and Their Applications2009-01-20Paper
Tableaux and dual tableaux: transformation of proofs2007-09-10Paper
Number of non-Fregean sentential logics that have adequate models2007-02-07Paper
Number of extensions of non-Fregean logics2006-02-08Paper

Research outcomes over time

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