About: Game semantics

An Entity of Type: programming language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en)
dbo:wikiPageExternalLink	https://academic.oup.com/jigpal/article/9/5/693/688327 https://doi.org/10.1007/s11225-008-9150-5 https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1988.tb00919.x https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1991.tb00979.x https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1746-8361.1994.tb00107.x https://web.archive.org/web/20160303174250/http:/www.csc.villanova.edu/~japaridz/CL/gsoll.html http://www.gamesemantics.org/ https://web.archive.org/web/20110411024825/http:/www.cis.upenn.edu/~giorgi/cl.html https://ora.ox.ac.uk/objects/uuid:416fe169-a1bc-4afb-a768-59a47f3ae46d/download_file%3Ffile_format=pdf&safe_filename=gfc.pdf&type_of_work=Conference+item https://arxiv.org/abs/cs.LO/0507045 https://link.springer.com/article/10.1007/s10849-017-9252-4 https://onlinelibrary.wiley.com/doi/abs/10.1111/1467-8349.00077 https://www.researchgate.net/profile/Shahid_Rahman3/publication/226118972_From_Games_to_Dialogues_and_Back/links/0deec51fa108b7c9a0000000/From-Games-to-Dialogues-and-Back.pdf https://www.sciencedirect.com/science/article/pii/0168007292900739/pdf%3Fmd5=cdfdfcea34460028a0622a0501ba5fe3&isDTMRedir=Y&pid=1-s2.0-0168007292900739-main.pdf https://www.sciencedirect.com/science/article/pii/S016800720300023X/pdf%3Fmd5=17a6ad155f7b48e1a9f8185b2852a372&isDTMRedir=Y&pid=1-s2.0-S016800720300023X-main.pdf&_valck=1 https://www.sciencedirect.com/science/article/pii/S0890540100929171 https://www.springer.com/gp/book/9783319190624. https://www.springer.com/gp/book/9783319911489. https://www.springer.com/philosophy/logic/book/978-1-4020-9373-9 http://doi.ieeecomputersociety.org/10.1109/LICS.2009.26
dbo:wikiPageID	617121 (xsd:integer)
dbo:wikiPageLength	21585 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1104380510 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Predicate_logic dbr:Samson_Abramsky dbr:Modal_logic dbr:Principle_of_compositionality dbr:Dependence_logic dbc:Game_theory dbr:Argumentation_theory dbr:Paul_Lorenzen dbr:Validity_(logic) dbr:Interactive_computation dbr:Intuitionistic_logic dbr:Intuitionistic_type_theory dbr:Kuno_Lorenz dbr:Universal_quantifier dbr:Negation dbr:Equisatisfiable dbr:Game_theory dbr:Branching_quantifier dbc:Quantifier_(logic) dbr:Model_checking dbr:Connexive_logic dbr:Andreas_Blass dbr:Linear_logic dbr:Logic dbr:Logical_conjunction dbr:Ludics dbr:Skolem_function dbr:Computability_logic dbr:Computational_linguistics dbr:Propositional_logic dbr:Theoretical_computer_science dbc:Philosophical_logic dbc:Semantics dbr:Truth dbr:Truth_value dbr:Wilfrid_Hodges dbr:Giorgi_Japaridze dbr:Amsterdam dbr:First-order_logic dbr:Formal_semantics_(logic) dbr:Formal_semantics_of_programming_languages dbr:Dialogical_logic dbr:Strategic_dominance dbr:Quantifier_(logic) dbr:Relevance_logic dbr:Halting_problem dbr:Jaakko_Hintikka dbr:Jean-Yves_Girard dbr:Threefold_repetition dbr:Artificial_intelligence dbc:Logic_in_computer_science dbc:Mathematical_logic dbr:Johan_van_Benthem_(logician) dbr:Ehrenfeucht–Fraïssé_game dbr:Witness_(mathematics) dbr:Dov_Gabbay dbr:Axiom_of_choice dbr:Socratic_dialogues dbr:Classical_logic dbr:Free_logic dbr:Winning_strategy dbr:Independence-friendly_logic dbr:Bound_variable dbr:Martin_Hyland dbr:Perfect_information dbr:Theory_of_Obligationes dbr:Springer-Verlag dbr:Fully_abstract dbr:Disjunction dbr:Wilfred_Hodges dbr:Programming_language_for_Computable_Functions dbr:Compositional_semantics dbr:Existential_quantifier dbr:Truth_definition dbr:Doi:10.1007/s10849-017-9252-4 dbr:Luke_Ong dbr:Pasquale_Malacaria dbr:Radhakrishnan_Jagadeesan
dbp:wikiPageUsesTemplate	dbt:IEP dbt:Cite_book dbt:Cite_conference dbt:Cite_journal dbt:Harvtxt dbt:ISBN dbt:Ill dbt:More_footnotes dbt:Reflist dbt:SEP dbt:Issn dbt:Semantics
dcterms:subject	dbc:Game_theory dbc:Quantifier_(logic) dbc:Philosophical_logic dbc:Semantics dbc:Logic_in_computer_science dbc:Mathematical_logic
gold:hypernym	dbr:Approach
rdf:type	dbo:ProgrammingLanguage
rdfs:comment	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. (en)
rdfs:label	Game semantics (en)
owl:sameAs	freebase:Game semantics wikidata:Game semantics https://global.dbpedia.org/id/97atm
prov:wasDerivedFrom	wikipedia-en:Game_semantics?oldid=1104380510&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Game_semantics
is dbo:notableIdea of	dbr:Jaakko_Hintikka
is dbo:wikiPageRedirects of	dbr:History_of_game_semantics dbr:Dialogic_logic dbr:Dialogue_logic
is dbo:wikiPageWikiLink of	dbr:Programming_Computable_Functions dbr:Samson_Abramsky dbr:List_of_Wolfson_College,_Oxford,_people dbr:List_of_computability_and_complexity_topics dbr:List_of_computer_scientists dbr:List_of_functional_programming_topics dbr:Denotational_semantics dbr:Dependence_logic dbr:History_of_game_semantics dbr:Paul_Lorenzen dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Interactive_computation dbr:Intuitionism dbr:Intuitionistic_logic dbr:Kuno_Lorenz dbr:Geometry_of_interaction dbr:Theory_of_obligationes dbr:Game_theory dbr:Branching_quantifier dbr:Andreas_Blass dbr:Linear_logic dbr:Ludics dbr:Computability_logic dbr:Logic_and_dialectic dbr:Logics_for_computability dbr:First-order_logic dbr:Dialogical_logic dbr:List_of_Finnish_Americans dbr:Jaakko_Hintikka dbr:Johan_van_Benthem_(logician) dbr:Ehrenfeucht–Fraïssé_game dbr:Witness_(mathematics) dbr:Bunched_logic dbr:Independence-friendly_logic dbr:Modal_μ-calculus dbr:Π-calculus dbr:Martin_Hyland dbr:Semantics_(computer_science) dbr:Semantics_of_logic dbr:Logic_game dbr:Outline_of_games dbr:Outline_of_logic dbr:Truth-value_semantics dbr:Dialogic_logic dbr:Dialogue_logic
is foaf:primaryTopic of	wikipedia-en:Game_semantics