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

• Type: Journal
• Year: 2006
• Where: LOGCOM
• Authors: Jan Broersen, Andreas Herzig, Nicolas Troquard
• Keywords: LOGCOM 2006, Logic, Multiagent Systems, STIT Theory