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
A New Game Equivalence and its Modal Logic
Stockholm University, Faculty of Humanities, Department of Philosophy.
Number of Authors: 32017 (English)In: Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180, E-ISSN 2075-2180, no 251, p. 57-74Article in journal (Refereed) Published
Abstract [en]

We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than equality of standard powers, though staying short of modal bisimulation. Concretely, we propose a more fine-grained notion of equality of 'basic powers' which record what players can force plus what they leave to others to do, a crucial feature of interaction. This notion is closer to game-theoretic strategic form, as we explain in detail, while remaining amenable to logical analysis. We determine the properties of basic powers via a new representation theorem, find a matching 'instantial neighborhood game logic', and show how our analysis can be extended to a new game algebra and dynamic game logic.

Place, publisher, year, edition, pages
2017. no 251, p. 57-74
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:su:diva-159198DOI: 10.4204/EPTCS.251.5ISI: 000439339700006OAI: oai:DiVA.org:su-159198DiVA, id: diva2:1240657
Available from: 2018-08-22 Created: 2018-08-22 Last updated: 2018-08-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Enqvist, Sebastian
By organisation
Department of Philosophy
In the same journal
Electronic Proceedings in Theoretical Computer Science
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 25 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