The Game Semantics of Game Theory

Reference. The Game Semantics of Game Theory

Jules Hedges · Samson Abramsky on Logic and Structure in Computer Science and Beyond · 2023 · open-games · DOI · arXiv

Cite

Cite as @hedges-2023-the (helia, typst) · \cite{hedges-2023-the} (LaTeX)

BibTeX

bibtex · 1 line

@inbook{hedges-2023-the, title={The Game Semantics of Game Theory}, ISBN={9783031241178}, ISSN={2211-2766}, url={http://dx.doi.org/10.1007/978-3-031-24117-8_11}, DOI={10.1007/978-3-031-24117-8_11}, booktitle={Samson Abramsky on Logic and Structure in Computer Science and Beyond}, publisher={Springer International Publishing}, author={Hedges, Jules}, year={2023}, pages={415–444} }

hayagriva YAML (typst)

yaml · 15 lines

hedges-2023-the:
  type: chapter
  title: The Game Semantics of Game Theory
  author: Hedges, Jules
  date: 2023
  page-range: 415-444
  url: http://dx.doi.org/10.1007/978-3-031-24117-8_11
  serial-number:
    doi: 10.1007/978-3-031-24117-8_11
    isbn: '9783031241178'
    issn: 2211-2766
  parent:
    type: book
    title: Samson Abramsky on Logic and Structure in Computer Science and Beyond
    publisher: Springer International Publishing

Download: hedges-2023-the.bib · hedges-2023-the.yml

Cited by (1)

Reinforcement Learning in Categorical Cybernetics hedges-2025-reinforcementEPTCS · 2025

DOI · arXiv

Cites 49 works (4 here)

With notes (4)

Bayesian open games bolt-2023-bayesianCompositionality · 2023

This paper generalises the treatment of compositional game theory as introduced by Ghani et al. in 2018, where games are modelled as morphisms of a symmetric monoidal category. From an economic modelling perspective, the notion of a game in the work by Ghani et al. is not expressive enough for many applications. This includes stochastic environments, stochastic choices by players, as well as incomplete information regarding the game being played. The current paper addresses these three issues all at once.

DOI · arXiv

Morphisms of Open Games hedges-2018-morphismsENTCS · 2018

DOI · arXiv

Compositional Game Theory ghani-2018-compositionalLICS · 2018

DOI · arXiv

Profunctor Optics: Modular Data Accessors pickering-2017-profunctorProgramming · 2017

DOI

External (45)

String diagrams for optics (2020)
Categories of optics (2018)
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting (2017)
Semantics of higher-order quantum computation via geometry of interaction (2017)
Picturing quantum processes (2017)
The algebra of open and interconnected systems (2016)
Bidirectional transformations (LNCS 9715) (2016)
Towards compositional game theory (2016)
Arrow’s Theorem by Arrow Theory (2015)
Equilibria of concurrent games on event structures (2014)
From winning strategy to Nash equilibrium (2014)
Traces in symmetric monoidal categories (2014)
Logic in Games (2014)
Payoffs, Intensionality and Abstraction in Games (2013)
Reasoning about Strategies (2013)
The sheaf-theoretic structure of non-locality and contextuality (2011)
A Survey of Graphical Languages for Monoidal Categories (2010)
Mathematical foundations for a compositional distributional model of meaning (2010)
A Semantical Approach to Equilibria and Rationality (2009)
Doubles for monoidal categories (2008)
Combinators for bidirectional tree transformations (2007)
Free compact 2-categories (2007)
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories (2005)
A categorical semantics of quantum protocols (2004)
Physical Traces (2003)
Zermelo and the Early History of Game Theory (2001)
Full Abstraction for PCF (2000)
On Full Abstraction for PCF: I, II, and III (2000)
Game Semantics (1999)
Recursion from Cyclic Sharing (1999)
Gödel’s Functional (“Dialectica”) Interpretation (1998)
Semantics of interaction (1997)
Retracing some paths in process algebra (1996)
Traced monoidal categories (1996)
Games and full completeness for multiplicative linear logic (1994)
New Foundations for the Geometry of Interaction (1994)
A course in game theory (1994)
A game semantics for linear logic (1992)
The dialectica categories (1991)
Coherence for compact closed categories (1980)
Coalgebras and cartesian categories (1976)
Borel Determinacy (1975)
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes (1958)
Non-Cooperative Games (1951)
Theory of games and economic behavior (1944)