Sciweavers

LOGCOM
2006

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency

13 years 3 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it that ''. We believe that STIT theory can contribute to the logical analysis of multiagent systems. To support this claim, we show that there is a close relationship with more recent logics for multiagent systems. This work extends Broersen et al. (2006, Electron Notes Theor. Comput. Sci., Vol. 157, pp. 23
Jan Broersen, Andreas Herzig, Nicolas Troquard
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LOGCOM
Authors Jan Broersen, Andreas Herzig, Nicolas Troquard
Comments (0)