| Publication | Date of Publication | Type |
|---|
Hyperintensional models for non-congruential modal logics
Logic Journal of the IGPL | 2025-11-07 | Paper |
| Truth-maker semantics for some substructural logics | 2025-10-24 | Paper |
Algebras for relevant reasoners
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2025-08-28 | Paper |
| Explicit and implicit belief in first degree entailment with strict implication | 2025-08-13 | Paper |
| Introduction: directions and new directions | 2025-08-13 | Paper |
A note on formalizing discussive logic
The Australasian Journal of Logic | 2025-01-20 | Paper |
| Routley star in information-based semantics | 2025-01-09 | Paper |
Implicational Kleene algebra with domain and the substructural logic of partial correctness
Mathematical Structures in Computer Science | 2024-11-29 | Paper |
Epistemic logics for relevant reasoners
Journal of Philosophical Logic | 2024-10-24 | Paper |
| Kleene algebra of weighted programs with domain | 2024-05-29 | Paper |
Relevant reasoning and implicit beliefs
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
Epistemic Logics of Structured Intensional Groups
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Almost APAL
Journal Of Logic And Computation | 2024-02-08 | Paper |
On the complexity of Kleene algebra with domain
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Relevant epistemic logic with public announcements and common knowledge | 2023-03-31 | Paper |
Relevant epistemic logic with public announcements and common knowledge
Journal Of Logic And Computation | 2023-03-30 | Paper |
Relevant reasoners in a classical world
(available as arXiv preprint) | 2023-03-24 | Paper |
Hyperintensional logics for everyone
Synthese | 2023-03-17 | Paper |
scientific article; zbMATH DE number 7585733 (Why is no real title available?)
(available as arXiv preprint) | 2022-09-15 | Paper |
| Propositional dynamic logic with quantification over regular computation sequences | 2022-07-01 | Paper |
| Situated epistemic updates | 2022-06-24 | Paper |
Relevant Reasoners in a Classical World
(available as arXiv preprint) | 2022-06-07 | Paper |
Incorporating the relation into the language? A survey of approaches in relating logic
Logic and Logical Philosophy | 2022-03-29 | Paper |
From positive PDL to its non-classical extensions
Logic Journal of the IGPL | 2021-12-03 | Paper |
| Expressivity of some versions of APAL | 2021-12-01 | Paper |
Epistemic extensions of substructural inquisitive logics
Journal Of Logic And Computation | 2021-11-09 | Paper |
Lambek calculus with conjugates
Studia Logica | 2021-08-19 | Paper |
Correction to: ``Lambek calculus with conjugates
Studia Logica | 2021-08-19 | Paper |
Inquisitive propositional dynamic logic
Journal of Logic, Language and Information | 2021-06-25 | Paper |
| Term negation in first-order logic | 2020-12-14 | Paper |
Modelling sources of inconsistent information in paraconsistent modal logic
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
Iterative division in the distributive full non-associative Lambek calculus
(available as arXiv preprint) | 2020-07-08 | Paper |
| Substructural propositional dynamic logics | 2020-03-04 | Paper |
First degree entailment with group attitudes and information updates
(available as arXiv preprint) | 2020-01-30 | Paper |
| Non-classical PDL on the cheap | 2019-07-24 | Paper |
Substructural epistemic logics
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Propositional dynamic logic with Belnapian truth values
(available as arXiv preprint) | 2018-04-23 | Paper |
| Substructural logics with a reflexive transitive closure modality | 2017-12-20 | Paper |
| Substructural logics for pooling information | 2017-11-22 | Paper |
| Relating logics of justifications and evidence | 2017-10-06 | Paper |
| scientific article; zbMATH DE number 6769444 (Why is no real title available?) | 2017-09-04 | Paper |
Epistemic extensions of modal distributive substructural logics
Journal Of Logic And Computation | 2017-01-31 | Paper |
Justifications, Awareness and Epistemic Dynamics
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Inter-model connectives and substructural logics
Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
| From pair points to pairs of models | 2013-10-23 | Paper |
Information, awareness and substructural logics
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
| Boxes are relevant | 2013-05-15 | Paper |
| Logics of Moore's paradox | 2013-04-24 | Paper |
| A new notion of meaning connection and the logic of simple processes | 2012-11-16 | Paper |
C. I. Lewis on possible worlds
History and Philosophy of Logic | 2010-01-29 | Paper |
