A dynamic logic of agency I: Stit, capabilities and powers [Book Review]

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.
Keywords Logic of agency  STIT  Coalition logic  Game theory
Categories (categorize this paper)
Reprint years 2010
DOI 10.1007/s10849-009-9105-x
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,727
Through your library
References found in this work BETA
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Agency and Deontic Logic.John Francis Horty - 2001 - Oxford University Press.

View all 13 references / Add more references

Citations of this work BETA
Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.

Add more citations

Similar books and articles
Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Diversity of Agents and Their Interaction.Fenrong Liu - 2008 - Journal of Logic, Language and Information 18 (1):23-53.
Propositional Q-Logic.Wölfl Stefan - 2002 - Journal of Philosophical Logic 31 (5):387-414.

Monthly downloads

Added to index

2009-10-24

Total downloads

61 ( #81,958 of 2,146,279 )

Recent downloads (6 months)

2 ( #279,803 of 2,146,279 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums