Journal Articles


Mathematical Inference and Logical Inference 
2018. The Review of Symbolic Logic, to appear. (doi)

Universal Intuitions of Spatial Relations in Elementary Geometry
(with Ineke J. M. van der Ham and John Mumma)
2017. Journal of Cognitive Psychology, 29(3), 269-278. (doi, pdf)

Logics of Questions
(with Floris Roelofsen)
2015. Synthese, 192(6), 1581-1584. (doi, pdf)

The Interrogative Model of Inquiry meets Dynamic Epistemic Logics
2015. Synthese, 192(6), 1609-1642. (doi)

Inquiry in Conversation: Towards a Modelling in Inquisitive Pragmatics
2014. Logique & Analyse, 228, 637-661. (doi)

Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
2014. Philosophia Scientiae, 18(1), 7-26. (doi, pdf)

Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning
(with John Mumma)
2013. Journal of Logic, Language and Information, 22(4), 421-448. (doi)


Book Chapters


Au-Delà des Preuves Formelles : Philosophie de la Pratique Mathématique
(with Valeria Giardino)
2018. In A. Arana, M. Panza, F. Poggiolesi, and P. Wagner (eds.), Précis de Philosophie des Mathématiques et de le Logique, Editions Ellipses, Paris, to appear.

A Dynamic Logic of Interrogative Inquiry
2015. In C. Başkent (ed.), Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions, Springer, Dordrecht, 129-161. (doi)


Conference Proceedings


Poincaré and Prawitz on Mathematical Induction
2014. In P. Arazim and M. Dancak (eds.), Logica Yearbook 2014, College Publications, London, 149-164. (doi, pdf)

Euclid’s Diagrammatic Logic and Cognitive Science
(with John Mumma)
2012. In J. Szymanik and R. Verbrugge (eds.), Proceeding of the Logic and Cognition Workshop at ESSLLI 2012, Ceur-ws.org proceedings, online publication. (doi, pdf)


Book Reviews


Review of Markus Knauff, Space to Reason: A Spatial Theory of Human Thought
2015. Künstliche Intelligenz, 29(3), 307-309. (doi)