Anything that relates to games in logic, or logic in games.
The Full Wiki: Game Theory
Game Semantics or Linear Logic?
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Open Encyclopedia article.
Is Game Semantics Necessary?
Paper by Andreas Blass.
Logic and Games
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Last update:March 19, 2014 at 23:57:36 UTC