A dynamic logic of agency I: Stit, capabilities and powers

Journal of Logic, Language and Information 19 (1):89-121 (2010)
  Copy   BIBTEX

Abstract

The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (historic) necessity. We show that STIT logic can be reconstructed in . We then extend with epistemic operators, which allows us to distinguish capability and power. We finally characterize the conditions under which agents are aware of their capabilities and powers.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Propositional q-logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.
Diversity of agents and their interaction.Fenrong Liu - 2009 - Journal of Logic, Language and Information 18 (1):23-53.
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.

Analytics

Added to PP
2009-10-24

Downloads
95 (#131,445)

6 months
2 (#297,430)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

Agency and Deontic Logic.John F. Horty - 2001 - Oxford, England: Oxford University Press.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 24 references / Add more references