Higher-Order Coalition Logic

8 years 4 months ago
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.
Guido Boella, Dov M. Gabbay, Valerio Genovese, Lee
Added 06 Dec 2010
Updated 06 Dec 2010
Type Conference
Year 2010
Where ECAI
Authors Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre
Comments (0)