Anything that relates to games in logic, or logic in games.
Subcategories 1
Sites 6
- 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.
- Logic and Games Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
- Is Game Semantics Necessary? Paper by Andreas Blass.
- Game Semantics Wikipedia article.
- Game_Semantics Open Encyclopedia article.
- The Full Wiki: Game Theory Encyclopedia article.