, 2015, 'The logic of categorematic and syncategorematic infinity', Synthese 192 (8), 2361-2377.
, 2012a, 'Arthur prior and medieval logic', Synthese 188 (3), 349-366.
, 2012b, 'Prior on an insolubilium of Jean Buridan', Synthese 188 (3), 487-498.