Game semantics

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