
Thomas Ågotnes
(2000-2009)
XLogic and intelligent interaction
2009
Synthese 169/2

A temporal logic of normative systems
2009
in: Towards mathematical philosophy, Dordrecht : Springer

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