Publications
A sound and complete axiomatization of intuitionistic temporal logic, joint paper with David Fernández-Duque and Brett McLean, International Conference on Principles of Knowledge Representation and Reasoning, 2024. [pdf]
Co-algebraic proof translations for non-wellfounded proofs, joint paper with Borja Sierra-Miranda and Thomas Studer, Advances in Modal Logic, 2024.[pdf]
Intuitionistic master modality, joint paper with Lide Grotenhuis, Bahareh Afshari and Graham Leigh, Advances in Modal Logic, 2024. [pdf]
Ill-founded proof systems for intuitionistic linear-time temporal logic, joint paper with Lide Grotenhuis, Bahareh Afshari and Graham Leigh, Automated Reasoning with Analytic Tableaux and Related Methods, 14278:223–241, 2023, Tableaux 2023 Best junior researcher paper. [pdf]
A family of decidable bi-intuitionistic modal logics, joint paper with David Fernández-Duque and Brett McLean, International Conference on Principles of Knowledge Representation and Reasoning, 2023. [pdf]
An analytic proof system for common knowledge logic over S5, joint paper with Jan Rooduijn, Advances in Modal Logic, 2022. [pdf]