An Update Operator for Strategic Ability

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.

Authors

• Paolo Turrini
• Jan M. Broersen
• Rosja Mastop
• John-Jules Ch. Meyer

Keywords

No keywords are indexed for this paper.