with Verbrugge, R. , 2018, 'Studying strategies and types of players: experiments, logics and cognitive models', Synthese 195 (10), 4265-4307.
with van Benthem, J. , Liu, F. , 2008a, 'Modelling simultaneous games in dynamic logic', Synthese 165 (2), 247-268.