with van Ditmarsch, H. , Wang, Y. , 2018, 'True lies', Synthese 195 (10), 4581-4615.
with van der Hoek, W. , Bonanno, G. , 2016, 'Introduction to the special issue', Synthese 193 (3), 659-662.
with Bonanno, G. , van der Hoek, W. (eds) , 2016, Synthese 193 (3).
with van Benthem, J. , Pacuit, E. , 2009, 'Logic and intelligent interaction', Synthese 169 (2), 219-221.
with van der Hoek, W. , Rodríguez-Aguilar, J. A. , Sierra, C. , Wooldridge, M. , 2009, A temporal logic of normative systems, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 69-106.
with van Benthem, J. , Pacuit, E. (eds) , 2009, Synthese 169 (2).
with van der Hoek, W. , Wooldridge, M. , 2008, 'Quantified coalition logic', Synthese 165 (2), 269-294.
, 2006a, 'Action and knowledge in alternating-time temporal logic', Synthese 149 (2), 375-407.