An update operator for strategic ability

Authors:
Paolo Turrini;Jan Broersen;Rosja Mastop;John-Jules Meyer
Affiliations:
Department of Information and Computing Sciences, Utrecht University;Department of Information and Computing Sciences, Utrecht University;Department of Philosophy, Utrecht University;Department of Information and Computing Sciences, Utrecht University
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 6
Cited 1

The logic of games and its applications

Selected papers of the international conference on "foundations of computation theory" on Topics in the theory of computation
Modal logic

Modal logic
A logic for strategic reasoning

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Complete axiomatization and decidability of alternating-time temporal logic

Theoretical Computer Science
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Coalitions in action logic

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence

Forbidding undesirable agreements: a dependence-based approach to the regulation of multi-agent systems

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involving this concept often occur. To fill this gap, we study an update operator for strategic ability update in coalition structures. Its formal connections with the update operators known from Dynamic Epistemic Logic will be discussed.