Higher-Order Coalition Logic (bibtex)
by Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre
Abstract:
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [xψ]φ ex- pressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model ex- tensive 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 cooper- ation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness.
Reference:
Higher-Order Coalition Logic (Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre), In ECAI, 2010.
Bibtex Entry:
@InProceedings{Boella2010i,
  Title                    = {Higher-Order Coalition Logic},
  Author                   = {Guido Boella and Dov M. Gabbay and Valerio Genovese and Leendert van der Torre},
  Booktitle                = {ECAI},
  Year                     = {2010},
  Pages                    = {555-560},

  Abstract                 = {We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ ex- pressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model ex- tensive 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 cooper- ation, we show a more general and expressive way to quantify over coalitions than quantified coalition logic, we give an axiomatization and prove completeness.},
  Bdsk-url-1               = {http://dx.doi.org/10.3233/978-1-60750-606-5-555},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/ecai/2010},
  Date-modified            = {2011-09-25 17:53:28 +0200},
  Ee                       = {http://dx.doi.org/10.3233/978-1-60750-606-5-555},
  Timestamp                = {2013.07.26},
  Url                      = {http://dx.doi.org/10.3233/978-1-60750-606-5-555}
}
Powered by bibtexbrowser