, kham, 'Ockham on supposition theory, mental language, and Angelic communication', American Catholic Philosophical Quarterly 86 (3), 415-434.
, 2020, 'Carnapian explication and ameliorative analysis: a systematic comparison', Synthese 197 (3), 1011-1034.
, 2019, 'Axiomatizations of arithmetic and the first-order/second-order divide', Synthese 196 (7), 2583-2597.
, 2018, A dialogical conception of explanation in mathematical proofs, in P. Ernest (ed.), The philosophy of mathematics education today, Dordrecht, Springer, pp. 81-98.
, 2017a, The dissonant origins of analytic philosophy: common sense in philosophical methodology, in S. Lapointe & C. Pincock (eds.), Innovations in the history of analytical philosophy, Basingstoke, Palgrave Macmillan, pp. 69-102.
, 2017b, The syllogism as defined by Aristotle, Ockham, and Buridan, in J. Pelletier & M. Roques (eds.), The language of thought in late medieval philosophy, Dordrecht, Springer, pp. 217-231.
with Reck, E. , 2017, 'Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization', Synthese 194 (1), 195-215.
, 2012a, 'Reassessing logical hylomorphism and the demarcation of logical constants', Synthese 185 (3), 387-410.
, 2012b, 'Towards a practice-based philosophy of logic: formal languages as a case study', Philosophia Scientiae 16 (1), 71-102.
, 2006, 'Roger Swyneshed's obligationes: a logical game of inference recognition?', Synthese 151 (1), 125-153.
, 2005a, 'Medieval obligationes as logical games of consistency maintenance', Synthese 145 (3), 371-395.