Repository | Directory | Profile
References
Thomas Ågotnes
Introduction to the special issue
2016
Synthese 193/3
Logic 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