In Proceedings


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

Unpublished


2011

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

Published


2026

  • Review of Edwin Mares, The Logic of Entailment and its History', Notre Dame Philosophical Reviews ,  doi open access
  • Invitation to Constructive Nonreflexive and Nontransitive Logics, in Exploring Negation, Modality and Proof, ed. Katsuhiko Sano, Ryo Hatano, and Hiroakira Ono, pp. 277-294. Springer.  pdf doi

2025

  • Can The Classical Ladder Be Kicked Away? The View from One Rung Up, Journal of Philosophical Logic 54, 1259-1276  doi open access
  • The Constructive Logic of Paradox: Paraconsistency on the Woodruff Plan, Journal of Applied Logics 12(5), 1205-1227  pdf open access
  • (with Shawn Standefer) Universal Necessity and Deep Classicality, Journal of Applied Logics 12(5), 1303-1318  pdf open access

2024

  • Reflection: Vacuism and the Strangeness of Impossibility, in Modality, ed. Yitzhak Y. Melamed and Samuel Newlands, pp. 252-262. Oxford University Press.  pdf

2023

  • (with Shawn Standefer and Ted Shear) Getting some (non-classical) closure with justification logic, Asian Journal of Philosophy 2,  pdf doi

2022

  • (with Patrick Girard and Ellie Ripley) Classical Counterpossibles, The Review of Symbolic Logic 15, 259-275  pdf doi
  • Metasequents and Tetravaluations, Journal of Philosophical Logic 51, 1453-1476  doi open access

2021

  • Tolerance and the Bounds, Análisis Filosófico 41(2), 303-316  doi open access
  • (with Ellie Ripley) Two Traditions in Abstract Valuational Model Theory, Synthese 198(22), 5291-5313  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

  • A Dialogical Route to Logical Pluralism, Synthese 198(20), 4969-4989  pdf doi
  • (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
  • Notational Variance and its Variants, Topoi 38 (2), 321-331  pdf doi
  • (with Ellie Ripley) Valuations: Bi, Tri, and Tetra, Studia Logica 107, 1313-1346  pdf doi

2018

  • (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 Ellie 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 Ellie 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