| Publication | Date of Publication | Type |
|---|
Negated implications in connexive relevant logics
The Australasian Journal of Logic | 2025-01-20 | Paper |
Improving the infra-red of holographic descriptions of QCD
Journal of High Energy Physics | 2025-01-13 | Paper |
Relevant consequence relations: an invitation
The Review of Symbolic Logic | 2024-11-14 | Paper |
An algebraic view of the Mares-Goldblatt semantics
Journal of Philosophical Logic | 2024-04-16 | Paper |
Consistent theories in inconsistent logics
Journal of Philosophical Logic | 2023-08-02 | Paper |
Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’
The Australasian Journal of Logic | 2023-07-27 | Paper |
Kapsner complementation: an algebraic take on Kapsner strong logics
Studia Logica | 2023-04-21 | Paper |
Relevant epistemic logic with public announcements and common knowledge
Journal Of Logic And Computation | 2023-03-30 | Paper |
Neighbourhood semantics for modal relevant logics
Journal of Philosophical Logic | 2023-02-24 | Paper |
| Situations, propositions, and information states | 2022-08-26 | Paper |
| Relevant Consequence Relations: An Invitation | 2022-07-08 | Paper |
A note on \textbf{R}-mingle and the danger of safety
The Australasian Journal of Logic | 2022-06-27 | Paper |
| Disjunction and negation in information based semantics | 2022-06-24 | Paper |
| Situated epistemic updates | 2022-06-24 | Paper |
Neighbourhood semantics for quantified relevant logics
Journal of Philosophical Logic | 2022-06-01 | Paper |
How much propositional logic suffices for Rosser's essential undecidability theorem?
The Review of Symbolic Logic | 2022-05-25 | Paper |
Incorporating the relation into the language? A survey of approaches in relating logic
Logic and Logical Philosophy | 2022-03-29 | Paper |
Consistency and decidability in some paraconsistent arithmetics
The Australasian Journal of Logic | 2021-12-29 | Paper |
Lambek calculus with conjugates
Studia Logica | 2021-08-19 | Paper |
Correction to: ``Lambek calculus with conjugates
Studia Logica | 2021-08-19 | Paper |
| scientific article; zbMATH DE number 7307099 (Why is no real title available?) | 2021-02-06 | Paper |
On elimination of quantifiers in some non-classical mathematical theories
Mathematical Logic Quarterly | 2020-05-11 | Paper |
First degree entailment with group attitudes and information updates
(available as arXiv preprint) | 2020-01-30 | Paper |
Identity, Haecceity, and the Godzilla Problem
(available as arXiv preprint) | 2019-04-23 | Paper |
On elimination of quantifiers in some non-classical mathematical theories
(available as arXiv preprint) | 2018-09-21 | Paper |
On structural features of the implication fragment of Frege's \textit{Grundgesetze}
Journal of Philosophical Logic | 2017-10-11 | Paper |
AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
The Review of Symbolic Logic | 2015-10-20 | Paper |
