Sequentiality vs. concurrency in games and logic

DOI10.1017/S0960129503003980zbMath1129.03014arXiv1111.7159WikidataQ57006705 ScholiaQ57006705MaRDI QIDQ4461213

Samson Abramsky

Publication date: 30 March 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1111.7159

zbMATH Keywords

Blass games

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

From Focalization of Logic to the Logic of Focalization, A categorical semantics for polarized MALL, Jump from parallel to sequential proofs: exponentials, Resource modalities in tensor logic, Classical proof forestry, Partial-order Boolean games: informational independence in a logic-based model of strategic interaction, Unnamed Item, Asynchronous games. II: The true concurrency of innocence, On the Meaning of Focalization, From Hilbert's program to a logic tool box, Event Domains, Stable Functions and Proof-Nets