, 2017, The history of algebra's impact on the philosophy of mathematics, in S. Lapointe & C. Pincock (eds.), Innovations in the history of analytical philosophy, Basingstoke, Palgrave Macmillan, pp. 333-358.
with Renne, B. , Sack, J. , 2016, 'Logics of temporal-epistemic actions', Synthese 193 (3), 813-849.
, 2014, 'Idealization, epistemic logic, and epistemology', Synthese 191 (14), 3351-3366.
with Hoshi, T. , 2009, 'Dynamic epistemic logic with branching temporal structures', Synthese 169 (2), 259-281.
, 2009a, 'Logical structuralism and Benacerraf's problem', Synthese 171 (1), 157-173.