@inbook{937f3bce9e324103aea4bb254e77a1fa,

title = "Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection",

abstract = "We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning. The target logic is multimodal K with intersection of modalities, interpreted over standard Kripke models corresponding to game structures. There is a restriction: we consider only game structures that are injective. We argue that this is a minor limitation, e.g., because coalition logic cannot discern between injective and non-injective game structures. We give a complete axiomatization of the corresponding models, as well as a characterization of key complexity problems. We also prove a representation theorem identifying the effectivity functions corresponding to injective games.",

keywords = "Coalition Logic, Concurrent Game Structures, Joint Action Model, Normal Modal Logic, Playable Effectivity Functions",

author = "Thomas {\AA}gotnes and Natasha Alechina",

note = "Publisher Copyright: {\textcopyright} 2015, Springer-Verlag Berlin Heidelberg.",

year = "2015",

doi = "10.1007/978-3-662-47197-5_1",

language = "English",

series = "Logic in Asia: Studia Logica Library",

publisher = "Springer Nature",

pages = "1--22",

booktitle = "Logic in Asia",

address = "United States",

}