Modal logic
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Knowing how to play: uniform choices in logics of agency
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
Journal of Logic and Computation
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A normal simulation of coalition logic and an epistemic extension
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A logic of games and propositional control
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the logic of cooperation and propositional control
Artificial Intelligence
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
On the logical foundations of moral agency
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Complexity Results of STIT Fragments
Studia Logica
| Hi-index | 0.00 |
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 ( $${\mathcal{DLA}}$$ ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in $${\mathcal{DLA}}$$ 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 $${\mathcal{DLA}}$$ . We then extend $${\mathcal{DLA}}$$ 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.