Difference between revisions of "Game semantics"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "'''Game semantics''' (German: ''dialogische Logik'', translated as "dialogical logic") is an approach to formal semantics that grounds the concepts of [...") |
(No difference)
|
Revision as of 21:51, 13 September 2016
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 theory|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
