An Axiomatic Account of a Fully Abstract Game Semantics for General References

&
In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 251-292 (2023)
  Copy   BIBTEX

Abstract

We present an analysis of the game semantics of general references introduced by Abramsky, Honda and McCusker which exposes the algebraic structure of the model. Using the notion of sequoidal category, we give a coalgebraic definition of the denotational semantics of storage cells of arbitrary type. We identify further conditions on the model which allow an axiomatic presentation of the proof that finite elements of the model are definable by programs, in the style of Abramsky’s Axioms for Definability.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-031-24117-8_7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,813

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Deconstructing General References via Game Semantics.Andrzej S. Murawski & Nikos Tzevelekos - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 293-325.
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
Abstract singular reference: A dilemma for Dummett.Alexander Miller - 1991 - Southern Journal of Philosophy 29 (2):257-269.
Abstract argument games via modal logic.Davide Grossi - 2013 - Synthese 190 (S1).
Game theory and conventiont.Neil Tennant - 2001 - Nordic Journal of Philosophical Logic 6 (1):3-19.
Game theory and conventiont.Neil Tennant - 2010 - Nordic Journal of Philosophical Logic 6 (1):3-19.
Game-Theoretical Semantics.Esa Saarinen - 1977 - The Monist 60 (3):406-418.
A game semantics of names and pointers.J. Laird - 2008 - Annals of Pure and Applied Logic 151 (2-3):151-169.
On Constructive Axiomatic Method.Andrei Rodin - unknown
Full abstraction for Reduced ML.Andrzej S. Murawski & Nikos Tzevelekos - 2013 - Annals of Pure and Applied Logic 164 (11):1118-1143.
On a Game-Theoretic Approach to a Scientific Language.E. -W. Stachow - 1978 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978 (2):18-40.
A game semantics for disjunctive logic programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Angelic semantics of fine-grained concurrency.Dan R. Ghica & Andrzej S. Murawski - 2008 - Annals of Pure and Applied Logic 151 (2-3):89-114.
The Far Side of the Cube.Dan R. Ghica - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 219-250.

Analytics

Added to PP
2023-08-04

Downloads
9 (#1,275,915)

6 months
3 (#1,036,110)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jim Laird
Clark University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references