Home > Science > Math > Logic and Foundations > Game Semantics
Anything that relates to games in logic, or logic in games.
http://en.wikipedia.org/wiki/Computability_logic
Wikipedia article.
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
http://open-site.org/Science/Mathematics/Logic/Game_Semantics/
Open Encyclopedia article.
http://arxiv.org/abs/math.LO/9310211
Paper by Andreas Blass.
http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
http://www.thefullwiki.org/Game_Theory
Encyclopedia article.
Home > Science > Math > Logic and Foundations > Game Semantics
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us