| Publication | Date of Publication | Type |
|---|
Topics, non-uniform substitutions, and variable sharing
The Review of Symbolic Logic | 2026-01-16 | Paper |
| Variable-sharing as relevance | 2025-08-13 | Paper |
| Introduction: directions and new directions | 2025-08-13 | Paper |
Symmetry and completeness in relevant epistemic logic
Journal of Philosophical Logic | 2025-05-07 | Paper |
| Hyperintensionality in relevant logics | 2024-06-26 | Paper |
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
The Review of Symbolic Logic | 2024-03-16 | Paper |
Weak relevant justification logics
Journal Of Logic And Computation | 2024-02-08 | Paper |
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
The Review of Symbolic Logic | 2024-01-11 | Paper |
Varieties of Relevant S5
Logic and Logical Philosophy | 2023-07-03 | Paper |
A substructural approach to explicit modal logic
Journal of Logic, Language and Information | 2023-06-14 | Paper |
| scientific article; zbMATH DE number 7576859 (Why is no real title available?) | 2022-08-26 | Paper |
Trees for E
Logic Journal of the IGPL | 2022-08-10 | Paper |
What is a relevant connective?
Journal of Philosophical Logic | 2022-07-15 | Paper |
An incompleteness theorem for modal relevant logics
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
Revisiting Semilattice Semantics
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Tracking reasons with extensions of relevant logics
Logic Journal of the IGPL | 2021-12-03 | Paper |
Identity in Mares-Goldblatt models for quantified relevant logic
Journal of Philosophical Logic | 2021-12-02 | Paper |
Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
Studia Logica | 2019-12-11 | Paper |
| Natural deduction systems for E | 2019-09-23 | Paper |
| scientific article; zbMATH DE number 6868322 (Why is no real title available?) | 2018-05-14 | Paper |
Proof theory for functional modal logic
Studia Logica | 2018-04-04 | Paper |
Intersubstitutivity principles and the generalization function of truth
Synthese | 2018-03-27 | Paper |
| Non-triviality done proof-theoretically | 2017-11-22 | Paper |
Conditionals in theories of truth
Journal of Philosophical Logic | 2017-10-19 | Paper |
| Contraction and revision | 2017-03-07 | Paper |
| On artifacts and truth-preservation | 2016-02-01 | Paper |
Solovay-type theorems for circular definitions
The Review of Symbolic Logic | 2015-10-20 | Paper |
| What is wrong with the Tarskian theory of truth? | 2013-04-24 | Paper |
| Philosophical aspects of display logic | 2012-11-16 | Paper |
