
References
Thomas Ågotnes
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

Action and knowledge in alternating-time temporal logic
2006
Synthese 149/2
