• (with Lloyd Humberstone) Description and Disjunction: Reflections on an Argument of Thomas Forster, forthcoming in South American Journal of Logic.  doi open access
  • (with David Ripley) Valuations: Bi, Tri, and Tetra, forthcoming in Studia Logica.  pdf doi

In Proceedings


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


  • 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



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



  • Notational Variance and its Variants, Topoi 38 (2), 321-331  pdf doi


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


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


  • 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


  • 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


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


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


  • 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


  • 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


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