Game semantics
From Wiki @ Karl Jones dot com
Game semantics (German: dialogische Logik, translated as "dialogical logic") is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.
See also
- Computability logic
- Dependence logic
- Ehrenfeucht–Fraïssé game
- Independence-friendly logic
- Interactive computation
- Intuitionistic logic
- Ludics
- Semantics of logic
- Theory of Obligationes
External links
- Game semantics @ Wikipedia.org