Coalition games over Kripke semantics

Philippe Balbiani (1, 2) , Olivier Gasquet (1) , Andreas Herzig (1, 2) , François Schwarzentruber (1) , Nicolas Troquard (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

We show that Pauly’s Coalition Logic can be embedded into a richer normal modal logic that we call Normal Simulation of Coalition Logic (NCL). We establish that the latter is strictly more expressive than the former by proving that it is NEXPTIME complete in the case of at least two agents.

Mots clés: normal modal logic; pauly coalition logic; normal simulation; kripke semantics; coalition game; coalition logic

Domaines: Intelligence artificielle [cs.AI]

Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard. Coalition games over Kripke semantics. Dégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130. ⟨hal-03526733⟩