Higher-Order Coalition Logic

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can achieve a state in which holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is reasoning about their abilities. We illustrate higher-order coalition logic to represent and reason about coalition formation and cooperation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness.

• Type: Conference
• Year: 2010
• Where: ECAI
• Authors: Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre
• Keywords: Artificial Intelligence, Coalition, ECAI 2010, Monadic Second-order Logic, Neighborhood Semantics