Research
My CV.
My research focuses on proof theory, paradoxes, relevant logics, and modal logics.
Publications
-- "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. Published pdf.
-- “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. Published pdf.
-- “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. Open access pdf. Published 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. Published pdf.
-- "On Artifacts and Truth-Preservation," Australasian Journal of Logic (12:3) 2015, Article no. 1, pp. 135–158. Open access pdf. Published pdf.
-- "Solovay-type theorems for circular definitions," Review of Symbolic Logic (2015) 8(3): 467–487 doi:10.1017/S1755020314000458 Pre-print pdf. Published pdf.
Conference proceedings
-- "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 Published pdf.
-- “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
-- 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. Published pdf.
My CV.
My research focuses on proof theory, paradoxes, relevant logics, and modal logics.
Publications
-- "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. Published pdf.
-- “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. Published pdf.
-- “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. Open access pdf. Published 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. Published pdf.
-- "On Artifacts and Truth-Preservation," Australasian Journal of Logic (12:3) 2015, Article no. 1, pp. 135–158. Open access pdf. Published pdf.
-- "Solovay-type theorems for circular definitions," Review of Symbolic Logic (2015) 8(3): 467–487 doi:10.1017/S1755020314000458 Pre-print pdf. Published pdf.
Conference proceedings
-- "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 Published pdf.
-- “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
-- 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. Published pdf.