View source for Game semantics

'''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 ==

* [[Computability logic]]
* [[Dependence logic]]
* [[Ehrenfeucht–Fraïssé game]]
* [[Independence-friendly logic]]
* [[Interactive computation]]
* [[Intuitionistic logic]]
* [[Ludics]]
* [[Semantics of logic]]
* [[Theory of Obligationes]]

== External links ==

* [https://en.wikipedia.org/wiki/Game_semantics Game semantics] @ Wikipedia.org 


[[Category:Logic]]