Publications
“A Note On Identity And Higher-Order Quantification.”. Australasian Journal of Logic 7: 48–55.
. 2009. “Reasoning With Dynamic Conceptual Frames.” . Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008: 84-89.
. 2009. “Response To A Critic (Definability And Ontology)”. Reports on Mathematical Logic 45: 255-259.
. 2010. “Time Travel And Conditional Logics”. In Logica 2007 Yearbook, Logica 2007 Yearbook,.
. 2007. “Logics Of (Formal And Informal) Provability” . Handbook of Formal Philosophy.
. In Press.