My research focuses on proof theory, paradoxes, relevant logics, and modal logics.
- "Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs", Studia Logica (forthcoming) doi:10.1007/s11225-018-9828-2
- "Trees for E", Logic Journal of the IGPL, 26(3): 300–315 (2018), Oxford University Press. doi:10.1093/jigpal/jzy003 Published pdf (free)
- "Natural deduction systems for E," (co-authored with Ross T. Brady) Logique et Analyse, 242: 163–182 2018, Peeters Publishers. doi: 10.2143/LEA.242.0.3284749.
- "Proof Theory for Functional Modal Logic," Studia Logica 106(1): 49–84 2018, Springer. doi:10.1007/s11225-017-9725-0.
- "Inferentialism, Structure, and Conservativeness," (co-authored with Ole Hjortland), (2018) From Rules to Meanings: New Essays on Inferentialism, eds. Ondrej Beran, Vojtech Kolman, and Ladislav Koren, pp. 115–140, Routledge.
- "Intersubstitutivity Principles and the Generalization Function of Truth,” (co-authored with Anil Gupta) Synthese, 195(3): 1065–1075 2018, Springer. doi: 10.1007/s11229-017-1318-y.
- "The Relevant Logic E and Some Close Neighbours: A Reinterpretation," (co-authored with Ed Mares) The IfColog Journal of Logics and their Applications (4:3) 2017, 695–730. Special Issue: Proceedings of the Third Workshop, 16-17 May 2016, Edmonton, Canada, edited by Katalin Bimbó and J. Michael Dunn. Open access pdf. Published pdf.
- "Non-Classical Circular Definitions," Australasian Journal of Logic (14:1) 2017, Article no. 6, 147–180. Special issue: Non-Classicality: Logic, Mathematics, Philosophy, edited by Zach Weber, Maarten McKubre-Jordens, and Patrick Girard. doi: 10.26686/ajl.v14i1.4030. Open access pdf.
- "Conditionals in Theories of Truth," (co-authored with Anil Gupta) Journal of Philosophical Logic 46(1) 2017, pp. 27--63. doi:10.1007/s10992-015-9393-3 Pre-print pdf.
- "Contraction and Revision," Australasian Journal of Logic (13:3) 2016, Article no. 2, 58–77. doi:10.26686/ajl.v13i3.3935 Open access pdf.
- "On Artifacts and Truth-Preservation," Australasian Journal of Logic (12:3) 2015, Article no. 1, pp. 135–158. doi: 10.26686/ajl.v12i3.2045 Open access pdf.
- "Solovay-type theorems for circular definitions," Review of Symbolic Logic (2015) 8(3): 467–487 doi:10.1017/S1755020314000458 Pre-print pdf.
- "Non-Triviality Done Proof-Theoretically,"' (co-authored with Rohan French) Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings, eds. Alexandru Baltag, Jeremy Seligman and Tomoyuki Yamada, pp. 438--450. Springer: Berlin, Heidelberg. doi:10.1007/978-3-662-55665-8_30
- "What Is Wrong with the Tarskian Theory of Truth?" The Logica Yearbook 2010, Michael Peliš (ed), pp. 269-281, College Publications.
- "Philosophical Aspects of Display Logic," The Logica Yearbook 2009, Michael Peliš (ed), pp. 283–296, College Publications.
Reviews and introductions
- "Guest Editors' Introduction," (co-authored with Riccardo Bruni) Journal of Philosophical Logic, special issue for the 25th anniversary of the publication of Revision Theory of Truth (forthcoming). doi: 10.1007/s10992-018-9478-x Open access pdf.
- Review of Stewart Shapiro’s Varieties of Logic, Notre Dame Philosophical Reviews. Published html.
- Review of Leon Horsten’s The Tarskian Turn, Philosophical Review (2013) 122(1): 144-147; doi:10.1215/00318108-1728795.