Publications

• Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents

Joint paper with Tim S. Lyon

Submitted to: Advances in Modal Logic, 2026

• A Sound and Complete Axiomatization of Intuitionistic Temporal Logic [pdf]

 Joint paper with David Fernández-Duque and Brett McLean

 International Conference on Principles of Knowledge Representation and Reasoning, 2024

• Co-Algebraic Proof Translations for Non-Wellfounded Proofs [pdf]

 Joint paper with Borja Sierra-Miranda and Thomas Studer

 Advances in Modal Logic, 2024

• Intuitionistic Master Modality [pdf]

 Joint paper with Lide Grotenhuis, Bahareh Afshari and Graham Leigh

 Advances in Modal Logic, 2024

• Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic [pdf]  Best student paper 

Joint paper with Lide Grotenhuis, Bahareh Afshari and Graham Leigh

Automated Reasoning with Analytic Tableaux and Related Methods, 2023

• A Family of Decidable Bi-Intuitionistic Modal Logics [pdf]

 Joint paper with David Fernández-Duque and Brett McLean

 International Conference on Principles of Knowledge Representation and Reasoning, 2023

• An Analytic Proof System for Common Knowledge Logic over S5 [pdf]

 Joint paper with Jan Rooduijn

 Advances in Modal Logic, 2022