with Kurzen, L. , Szymanik, J. , 2014, 'Exploring the tractability border in epistemic tasks', Synthese 191 (3), 371-408.
with Zvesper, J. , 2011a, 'Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth', Synthese 179 (2), 223-238.