	The Language of Mathematics - Dictionary and Research Guide		Provided by

Game semantics

Game semantics (German: dialogische Logik) is an approach to the semantics of logic that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. Paul Lorenzen was the first to introduce a game semantics for logic, doing so in the late 1950s.

Wikipedia and Wikis

Game semantics - Wikipedia
http://en.wikipedia.org/wiki/Game_semantics

Other

GALOP: Workshop on Games for Logic and Programming Languages
http://www.cs.bham.ac.uk/galop
Stanford Encyclopedia of Philosophy entry on Logic and Games
http://plato.stanford.edu/entries/logic-games/
Blass
http://www.math.lsa.umich.edu/~ablass/
Japaridze
http://www.csc.villanova.edu/~japaridz/

More topics about:

Edit this page
Add new links, rate and edit existing links, or make suggestions. - Staff

Explore related topics: