
References
Thomas Ågotnes
Action and knowledge in alternating-time temporal logic
2006
Synthese 149/2

A temporal logic of normative systems
2009
with van der Hoek Wiebe, Rodríguez-Aguilar Juan A., Sierra Carles, Wooldridge Michael
in: Towards mathematical philosophy, Dordrecht : Springer
