An Update Operator for Strategic Ability

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.

• Type: Conference
• Year: 2009
• Where: LORI
• Authors: Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer
• Keywords: Artificial Intelligence, LORI 2009, Strategic Ability, Strategic Ability Update, Update Operators