Is game semantics necessary?
Logic
2008-02-03 v1
Authors:
Andreas Blass
Abstract
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
Cite
@article{arxiv.math/9310211,
title = {Is game semantics necessary?},
author = {Andreas Blass},
journal= {arXiv preprint arXiv:math/9310211},
year = {2008}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Operational Semantics of Games
Yong Wang
2019-09-04
Logic in Computer Science · Computer Science
Focusing in Asynchronous Games
Samuel Mimram
2015-05-18
Logic in Computer Science · Computer Science
Incorporating Inductions and Game Semantics into Logic Programming
Keehang Kwon
2015-08-11
Logic in Computer Science · Computer Science
What's in a game? A theory of game models
Clovis Eberhart, Tom Hirschowitz
2017-11-30
Logic in Computer Science · Computer Science
Dynamic Game Semantics
Norihiro Yamada, Samson Abramsky
2021-02-10
Artificial Intelligence · Computer Science
Representing and Reasoning about Game Strategies
Dongmo Zhang, Michael Thielsher
2014-07-22
Programming Languages · Computer Science
Languages of Play: Towards semantic foundations for game interfaces
Chris Martens, Matthew A. Hammer
2017-03-17
Logic in Computer Science · Computer Science
Games for Hybrid Logic -- From Semantic Games to Analytic Calculi
Robert Freiman
2022-06-02
Logic in Computer Science · Computer Science
Synchronous Games, Simulations and lambda-calculus
Pierre Hyvernat
2009-05-26
Logic in Computer Science · Computer Science
Interaction Systems and Linear Logic, a different games semantics
Pierre Hyvernat
2009-05-26
Logic in Computer Science · Computer Science
In the beginning was game semantics
Giorgi Japaridze
2011-04-15
Logic in Computer Science · Computer Science
Intensionality, Definability and Computation
Samson Abramsky
2017-05-16
Logic in Computer Science · Computer Science
Formal Game Grammar and Equivalence
Paul Riggins, David McPherson
2021-01-05
Logic in Computer Science · Computer Science
Presentation of a Game Semantics for First-Order Propositional Logic
Samuel Mimram
2008-12-18
Software Engineering · Computer Science
Assessing and Supplying the Health of Videos Games via Formal Semantics
Mohammad Reza Besharati, Mohammad Izadi
2021-04-13
Category Theory · Mathematics
Resource modalities in game semantics
Paul-André Melliès, Nicolas Tabareau
2007-05-23
Logic in Computer Science · Computer Science
On Games and Computation
Antti Kuusisto
2019-11-20
Logic in Computer Science · Computer Science
Sequentiality vs. Concurrency in Games and Logic
Samson Abramsky
2011-12-01
Logic in Computer Science · Computer Science
Game-theoretic Interpretation of Intuitionistic Type Theory
Norihiro Yamada
2016-10-05
Artificial Intelligence · Computer Science
Why Bother With Syntax?
Joseph Y. Halpern
2015-06-18
Computation and Language · Computer Science
Issues in Communication Game
Koiti Hasida
2007-05-23
Logic · Mathematics
Dynamic Logics of Imperfect Information: from Teams and Games to Transitions
Pietro Galliani
2017-01-03
Logic · Mathematics
Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications
Merlijn Sevenster
2014-01-21
Logic in Computer Science · Computer Science
Semantics of Interaction
Samson Abramsky
2013-12-03
Programming Languages · Computer Science
On the Learnability of Programming Language Semantics
Dan R. Ghica, Khulood Alyahya
2017-12-04