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 [...") |
Karl Jones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | '''Game semantics''' (German: ''dialogische Logik'', translated as "dialogical logic") is an approach to [[Semantics of logic|formal semantics]] that grounds the concepts of [[truth]] or [[validity]] on [ | + | '''Game semantics''' (German: ''dialogische Logik'', translated as "dialogical logic") is an approach to [[Semantics of logic|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 == | == See also == | ||
Latest revision as of 20:53, 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-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
