Strategic Ability Update: A Modal Logic Account

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 gametheoretical notions like undominated choice. Keywords-Game Theory; Modal Logic

• Type: Journal
• Year: 2009
• Where: IAT
• Authors: Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
• Keywords: Coalition Logic, Dynamic Epistemic Logic, IAT 2009, Intelligent Agents, Strategic Ability Changes