with Bradfield, J. , Gutierrez, J. , 2016, 'Partial-order boolean games: informational independence in a logic-based model of strategic interaction', Synthese 193 (3), 781-811.
with Ågotnes, T. , van der Hoek, W. , Rodríguez-Aguilar, J. A. , Sierra, C. , 2009, A temporal logic of normative systems, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 69-106.
with Ågotnes, T. , van der Hoek, W. , 2008, 'Quantified coalition logic', Synthese 165 (2), 269-294.
with van der Hoek, W. , Roberts, M. , 2007, 'Social laws in alternating time: effectiveness, feasibility, and synthesis', Synthese 156 (1), 1-19.
with van der Hoek, W. , Jamroga, W. , 2007, 'Towards a theory of intention revision', Synthese 155 (2), 265-290.
with Van Otterloo, S. , 2006a, 'Foreword', Synthese 149 (2), 255-256.