| 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
(available as arXiv preprint) | 2021-12-01 | Paper |
A mystery of Grzegorczyk's logic of descriptions
Studies in Universal Logic | 2019-01-21 | Paper |
A hybrid qualitative approach for relative movements
Logic Journal of the IGPL | 2019-01-08 | Paper |
Tableau reductions: towards an optimal decision procedure for the modal necessity
Journal of Applied Logic | 2016-09-09 | Paper |
Non-Fregean propositional logic with quantifiers
Notre Dame Journal of Formal Logic | 2016-05-25 | Paper |
On the minimal non-Fregean Grzegorczyk logic
Studia Logica | 2016-05-17 | Paper |
An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
Fundamenta Informaticae | 2015-06-26 | Paper |
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
Relational dual tableau decision procedure for modal logic K
Logic Journal of the IGPL | 2013-06-04 | Paper |
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Implementing a relational theorem prover for modal logic K
International Journal of Computer Mathematics | 2011-06-15 | Paper |
A new deduction system for deciding validity in modal logic K
Logic Journal of the IGPL | 2011-05-18 | Paper |
Dual tableau for monoidal triangular norm logic MTL
Fuzzy Sets and Systems | 2011-01-31 | Paper |
Dual tableaux. Foundations, methodology, case studies
Trends in Logic -- Studia Logica Library | 2010-10-19 | Paper |
Relational dual tableaux for interval temporal logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Relational proof systems for spatial reasoning
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
International Journal of Computer Mathematics | 2009-11-10 | Paper |
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
Logic Journal of the IGPL | 2009-08-12 | Paper |
Logics of Similarity and their Dual Tableaux A Survey
Preferences and Similarities | 2009-07-27 | Paper |
Relational Logics and Their Applications
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Tableaux and dual tableaux: transformation of proofs
Studia Logica | 2007-09-10 | Paper |
Number of non-Fregean sentential logics that have adequate models
MLQ | 2007-02-07 | Paper |
Number of extensions of non-Fregean logics
Journal of Philosophical Logic | 2006-02-08 | Paper |
