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
Game-Theoretic Semantics for Alternating-Time Temporal Logic
Stockholm University, Faculty of Humanities, Department of Philosophy.ORCID iD: 0000-0002-0157-1644
University of Bremen, Germany.
University of Tampere, Finland.
2016 (English)In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems / [ed] J. Thangarajah, K. Tuyls, C. M. Jonker, S. Marsella, The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2016, p. 671-679Conference paper, Published paper (Refereed)
Abstract [en]

We introduce versions of game-theoretic semantics (GTS) for Alternating-Time Temporal Logic (ATL). In GTS, truth is defined in terms of existence of a winning strategy in a semantic evaluation game, and thus the game-theoretic perspective appears in the framework of ATL on two semantic levels: on the object level, in the standard semantics of the strategic operators, and on the meta-level, where game-theoretic logical semantics can be applied to ATL. We unify these two perspectives into semantic evaluation games specially designed for ATL. The novel game-theoretic perspective enables us to identify new variants of the semantics of ATL, based on limiting the time resources available to the verifier and falsifier in the semantic evaluation game; we introduce and analyse an unbounded and bounded GTS and prove these to be equivalent to the standard (Tarski-style) compositional semantics. We also introduce a non-equivalent finitely bounded semantics and argue that it is natural from both logical and game-theoretic perspectives.

Place, publisher, year, edition, pages
The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2016. p. 671-679
Keyword [en]
Logic and game theory, Logics for agents and multi-agent systems, Argumentation-based dialogue and protocols
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:su:diva-138308ISBN: 978-1-4503-4239-1 (electronic)OAI: oai:DiVA.org:su-138308DiVA, id: diva2:1066708
Conference
2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, Singapore, May 09 - 13, 2016
Funder
Swedish Research Council, 2015-04388
Available from: 2017-01-18 Created: 2017-01-18 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(931 kB)13 downloads
File information
File name FULLTEXT01.pdfFile size 931 kBChecksum SHA-512
a697ed136833735e40c8253a211c7339d9a69655003490345f534df54c70a7930b092d2c43941434a1ec47e3e386823c196993840da171535ed24a54afffaafe
Type fulltextMimetype application/pdf

Other links

Free full text

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 13 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 28 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