, 2015, 'The interrogative model of inquiry meets dynamic epistemic logics', Synthese 192 (6), 1609-1642.
with Roelofson, F. , 2015, 'Logics of questions', Synthese 192 (6), 1581-1584.
with Roelofson, F. (eds) , 2015, Synthese 192 (5).
, 2014a, 'Mathematical rigor, proof gap and the validity of mathematical inference', Philosophia Scientiae 18 (1), 7-26.