Strategic Ability Update: A Modal Logic Account

Authors:
Jan Broersen;Rosja Mastop;John Jules Ch.Meyer;Paolo Turrini
Affiliations:
-;-;-;-
Venue:
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Year:
2009

Citing 5
Cited 0

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
Complete axiomatization and decidability of alternating-time temporal logic

Theoretical Computer Science
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Conflicting obligations in multi-agent deontic logic

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with Dynamic Epistemic Logic and we apply it to reason about game theoretical notions like undominated choice.