, 2016, 'Prior, translational semantics, and the barcan formula', Synthese 193 (11), 3507-3519.
with Galmiche, D. , Larchey-Wendling, D. , Vidal-Rosset, J. , 2012, 'Préface', Philosophia Scientiae 16 (3), 3-5.
, 2006, 'Meredith, Prior, and the history of possible worlds semantics', Synthese 150 (3), 373-397.
, 1996, 'What is computation?', Synthese 108 (3), 335-359.
with Proudfoot, D. , 1996a, 'On Alan Turing's anticipation of connectionism', Synthese 108 (3), 361-377.