Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
State and Path Coalition Effectivity Models for Logics of Multi-Player Games
Stockholm University, Faculty of Humanities, Department of Philosophy. University of Johannesburg, South Africa.ORCID iD: 0000-0002-0157-1644
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
Abstract [en]

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.
Keyword [en]
Multi-step games, Coalitional effectivity models, Alternating-time temporal logic
National Category
Computer Science Other Mathematics
Research subject
Computer Science; Mathematical Logic; Mathematics
Identifiers
URN: urn:nbn:se:su:diva-129359DOI: 10.1007/s10458-015-9294-4ISI: 000373088000002OAI: oai:DiVA.org:su-129359DiVA: diva2:921829
Available from: 2016-04-21 Created: 2016-04-21 Last updated: 2017-11-30Bibliographically approved

Open Access in DiVA

fulltext(1693 kB)38 downloads
File information
File name FULLTEXT01.pdfFile size 1693 kBChecksum SHA-512
414b4eb1b6181db3a88afb93642e7ed1ff6e528cbc99d7c75f67ba70a3764ae78da3a0e7fefedb1e7f48a3b7335910db04f83a3352bac4e6cf27e31784493409
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
In the same journal
Autonomous Agents and Multi-Agent Systems
Computer ScienceOther Mathematics

Search outside of DiVA

GoogleGoogle Scholar
Total: 38 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 67 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf