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.

Game semantics - Wikipedia Jump to content From Wikipedia, the free encyclopedia Approach to formal semantics Semantics Linguistic Logical Subfields Cognitive Computational Lexical Lexis Lexicology Statistical Structural Topics Analysis Compositionality Context Prototype theory Force dynamics Polysemy Semantic change Semantic feature Semantic field Semantic gap Syntax–semantics interface Theory of descriptions Truth-conditional semantics Analysis Latent Computational Machine learning Applications Desktop File system Matching Parsing Querying web wiki Similarity Semantics of programming languag

related reading

• Intuitionistic logic - Wikipediaen.wikipedia.org
• Game theory - Wikipediaen.wikipedia.org
• Montague Semantics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Definability of Truth in Probabilistic Logic - Christiano 2013intelligence.org
• First-order logic - Wikipediaen.wikipedia.org
• Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Type theory - Wikipediaen.wikipedia.org
• Language game (philosophy) - Wikipediaen.wikipedia.org
• Semantic Domain: The Geometry of Interaction, as an OCaml programsemantic-domain.blogspot.com
• UW PLSE | Algebraic Semantics for Machine Knittinguwplse.org
• [1508.04145] Reflective Oracles: A Foundation for Classical Game Theoryarxiv.org
• Pragmatics (Stanford Encyclopedia of Philosophy)plato.stanford.edu