- The Geometry of Relevant Implication II
- Interpreting mereotopological connection
- Modular labelled calculi for relevant logics
- From Collapse Theorems to Proof-Theoretic Arguments
- A Recipe for Paradox
- Truthmakers, Incompatibility, and Modality
- Boole’s indefinite symbols re-examined
- Minimally Nonstandard K3 and FDE
- Pure Refined Variable Inclusion Logics
- Dissolving the (un)paradoxicality paradoxes
- Fictional Modality and the Intensionality of Fictional Contexts
- Paraconsistent resolution