• Metasequents and Tetravaluations, forthcoming in Journal of Philosophical Logic.  doi open access
• (with Patrick Girard and David Ripley) Classical Counterpossibles, forthcoming in The Review of Symbolic Logic.  pdf doi

2017

• (with Shawn Standefer) Non-triviality Done Proof-Theoretically, Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017,, Edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, pp. 438–450  pdf doi

2015

• Prover-Skeptic Games and Logical Pluralism, Proceedings of the 20th Amsterdam Colloquium, Edited by Thomas Brochhagen, Floris Roelofsen, and Nadine Theiler, pp. 128–136  pdf doi open access

2011

• Translational Embeddings in Modal Logic, PhD Thesis, Monash University.  pdf

2021

• (with David Ripley) Two Traditions in Abstract Valuational Model Theory, Synthese 198 (22), 5291-5313  pdf doi
• A Dialogical Route to Logical Pluralism, Synthese 198(20), 4969-4989  pdf doi

2020

• (with Shawn Standefer and Greg Restall) Proofs and Models in Naive Property Theory: A Response to Hartry Field's 'Properties, Propositions and Conditionals', Australasian Philosophical Review 4:2, 162-177  pdf doi

2019

• Notational Variance and its Variants, Topoi 38 (2), 321-331  pdf doi
• (with David Ripley) Valuations: Bi, Tri, and Tetra, Studia Logica 107, 1313-1346  pdf doi

2018

• (with Lloyd Humberstone) Description and Disjunction: Reflections on an Argument of Thomas Forster, South American Journal of Logic 4(1), 1-28  doi open access
• (with Catarina Dutilh Novaes) Paradoxes and Structural Rules from a Dialogical Perspective, Philosophical Issues 28, 129-158  doi open access
• (with Franz Berto and Graham Priest and David Ripley) Williamson on counterpossibles, The Journal of Philosophical Logic 47, 693-713  doi open access

2017

• A Simple Sequent Calculus for Angell's Logic of Analytic Containment, Studia Logica 105, 971-994  pdf doi

2016

• An Argument for the Ontological Innocence of Mereology, Erkenntnis 81, 683-704  doi open access
• Structural Reflexivity and the Paradoxes of Self-Reference, Ergo 3, 113-131  doi open access

2015

• A Sequent Calculus for Urn Logic, Journal of Logic, Language and Information 24, 131-147  doi open access
• (with Lloyd Humberstone) An Observation Concerning Porte's Rule in Modal Logic, Bulletin of the Section of Logic 44:1 / 2, 25-31  doi open access
• (with David Ripley) Contractions of Noncontractive Consequence Relations, Review of Symbolic Logic 8, 506-528  pdf doi
• In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics, Studia Logica 103, 239-263  pdf doi

2014

• Review of A.A. Rini and M. J. Cresswell 'The World-Time Parallel', Australasian Journal of Philosophy 92, 802-805  pdf doi

2013

• Expressive Power, Mood, and Actuality, Synthese 190, 1689-1699  pdf doi

2012

• Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants, Notre Dame Journal of Formal Logic 53, 549-556  doi open access
• An Argument against General Validity?, Thought 1, 4-9  pdf doi

2009

• A Simplified Embedding of E into Monomodal K, Logic Journal of the IGPL 17, 421-428  pdf doi
• (with Lloyd Humberstone) Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic, Australasian Journal of Logic 7, 56-61  doi open access

2008

• A Note on the Logic of Eventual Permanence for Linear Time, Notre Dame Journal of Formal Logic 49, 137-142  doi open access