Repository | Directory | Profile

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
