with Ågotnes, T. , van der Hoek, W. , Rodríguez-Aguilar, J. A. , 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.