Existential and positive games: a comonadic and axiomatic view

, &
Annals of Pure and Applied Logic 177 (9):103775 (2026)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2026.103775

Other Versions

No versions found

Links

PhilArchive

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

Games and Scott sentences for positive distances between metric structures.Åsa Hirvonen & Joni Puljujärvi - 2022 - Annals of Pure and Applied Logic 173 (7):103123.
Outstanding Contributions to Logic: Samson Abramsky.A. Palmigiano & M. Zadrzadeh (eds.) - 2021 - Springer.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
Ehrenfeucht–Fraïssé games on ordinals.F. Mwesigye & J. K. Truss - 2018 - Annals of Pure and Applied Logic 169 (7):616-636.
Games with finitely generated structures.Adam Krawczyk & Wiesław Kubiś - 2021 - Annals of Pure and Applied Logic 172 (10):103016.
Topological games in Ramsey spaces.Julián C. Cano & Carlos A. Di Prisco - 2025 - Annals of Pure and Applied Logic 176 (10):103630.
Peano arithmetic, games and descent recursion.Emanuele Frittaion - 2025 - Annals of Pure and Applied Logic 176 (4):103550.
Counterfactual and seeing-to-it responsibilities in strategic games.Pavel Naumov & Jia Tao - 2023 - Annals of Pure and Applied Logic 174 (10):103353.
An Axiomatic Account of a Fully Abstract Game Semantics for General References.Jim Laird & Guy McCusker - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Cham: Springer Verlag. pp. 251-292.
Infinite games specified by 2-tape automata.Olivier Finkel - 2016 - Annals of Pure and Applied Logic 167 (12):1184-1212.

Analytics

Added to PP
2026-04-10

Downloads
17 (#1,901,523)

6 months
17 (#696,575)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
On Moschovakis closure ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.

Add more references