| Publication | Date of Publication | Type |
|---|
Axiomatization of Boolean connexive logics with syncategorematic negation and modalities
Logic Journal of the IGPL | 2025-11-26 | Paper |
\textit{Brings it about that} operators decomposed with relating semantics
Studia Logica | 2024-06-26 | Paper |
Tableaux for some deontic logics with the explicit permission operator
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Free choice permission, legitimization and relating semantics
Logic Journal of the IGPL | 2023-07-06 | Paper |
| Tableau metatheory for syllogistic logics | 2023-03-29 | Paper |
| Relating semantics as fine-grained semantics for intensional logics | 2022-10-25 | Paper |
| Some intensional logics defined by relating semantics and tableau systems | 2022-10-25 | Paper |
Tableaux for logics of content relationship and set-assignment semantics
Logica Universalis | 2022-09-01 | Paper |
| scientific article; zbMATH DE number 7502375 (Why is no real title available?) | 2022-04-01 | Paper |
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
Logic and Logical Philosophy | 2022-03-29 | Paper |
Incorporating the relation into the language? A survey of approaches in relating logic
Logic and Logical Philosophy | 2022-03-29 | Paper |
On logic of strictly-deontic modalities. A semantic and tableau approach
Logic and Logical Philosophy | 2021-08-17 | Paper |
| Tableau Methods for Propositional Logic and Term Logic | 2021-07-13 | Paper |
Boolean connexive logics: semantics and tableau approach
Logic and Logical Philosophy | 2021-01-08 | Paper |
Modal Boolean connexive logics: semantics and tableau approach
Bulletin of the Section of Logic | 2020-10-15 | Paper |
Jerzy Łos positional calculus and the origin of temporal logic
Logic and Logical Philosophy | 2020-02-11 | Paper |
A method of defining paraconsistent tableaus
Springer Proceedings in Mathematics & Statistics | 2019-10-31 | Paper |
Pure modal logic of names and tableau systems
Studia Logica | 2018-12-21 | Paper |
Bayesian propositional logic
Bulletin of the Section of Logic | 2018-07-12 | Paper |
Tableau metatheorem for modal logics
Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
| scientific article; zbMATH DE number 6316278 (Why is no real title available?) | 2014-07-11 | Paper |
| Tableau system for logic of categorial propositions and decidability | 2014-04-23 | Paper |
| Master argument vs. sea-fight tomorrow | 2014-04-23 | Paper |
The tense logic for Master Argument in Prior's reconstruction
Studia Logica | 2009-11-16 | Paper |
| scientific article; zbMATH DE number 5230352 (Why is no real title available?) | 2008-01-28 | Paper |
| Completeness of minimal positional calculus | 2007-09-24 | Paper |
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
(available as arXiv preprint) | N/A | Paper |
