Strategic Ability Update: A Modal Logic Account
Jan Broersen, Rosja Mastop, John Jules Ch.Meyer, Paolo Turrini · 2009
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.