From Coalition Logic to STIT

Authors:
Jan Broersen;Andreas Herzig;Nicolas Troquard
Affiliations:
Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands;Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, France;Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, France and Laboratorio di Ontologia Applicata, Università degli Studi di Trento, Trento, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 4
Cited 7

Alternating-time Temporal Logic

FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Coalition games and alternating temporal logics

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
On the logic of cooperation and propositional control

Artificial Intelligence
A Coalgebraic Perspective on Monotone Modal Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Declarative Agent Languages and Technologies VI
Towards an ontology of agency and action From STIT to OntoSTIT+

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Completeness of a Branching-Time Logic with Possible Choices

Studia Logica
Tractable model checking for fragments of higher-order coalition logic

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A STIT-Extension of ATL

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form ''agent a sees to it that @f''. We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. We focus on Pauly's Coalition Logic and the logic of the cstit operator, as described by Horty. After a brief presentation of Coalition Logic and a discrete-time version (including a next operator) of the STIT framework, we introduce a translation from Coalition Logic to the discrete STIT logic, and prove that it is correct.