State and Path Coalition Effectivity Models for Logics of Multi-Player Games
2016 (English)In: Autonomous Agents and Multi-Agent Systems, ISSN 1387-2532, E-ISSN 1573-7454, Vol. 30, no 3, 446-485 p.Article in journal (Refereed) Published
We consider models of multi-player games where abilities of players and coalitions are defined in terms of sets of outcomes which they can effectively enforce. We extend the well-studied state effectivity models of one-step games in two different ways. On the one hand, we develop multiple state effectivity functions associated with different long-term temporal operators. On the other hand, we define and study coalitional path effectivity models where the outcomes of strategic plays are infinite paths. For both extensions we obtain representation results with respect to concrete models arising from concurrent game structures. We also apply state and path coalitional effectivity models to provide alternative, arguably more natural and elegant semantics to the alternating-time temporal logic ATL*, and discuss their technical and conceptual advantages.
Place, publisher, year, edition, pages
2016. Vol. 30, no 3, 446-485 p.
Multi-step games, Coalitional effectivity models, Alternating-time temporal logic
Computer Science Other Mathematics
Research subject Computer Science; Mathematical Logic; Mathematics
IdentifiersURN: urn:nbn:se:su:diva-129359DOI: 10.1007/s10458-015-9294-4ISI: 000373088000002OAI: oai:DiVA.org:su-129359DiVA: diva2:921829