Game semantics

http://dbpedia.org/resource/Game_semantics an entity of type: ProgrammingLanguage

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. rdf:langString
rdf:langString Game semantics
xsd:integer 617121
xsd:integer 1104380510
rdf:langString 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.
xsd:nonNegativeInteger 21585
dbpedia-owl:ProgrammingLanguage
<http://dbpedia.org/resource/Category:Game_theory>
<http://dbpedia.org/resource/Category:Quantifier_(logic)>
<http://dbpedia.org/resource/Category:Philosophical_logic>
<http://dbpedia.org/resource/Category:Semantics>
<http://dbpedia.org/resource/Category:Logic_in_computer_science>
<http://dbpedia.org/resource/Category:Mathematical_logic>
<http://dbpedia.org/resource/Predicate_logic>
<http://dbpedia.org/resource/Samson_Abramsky>
<http://dbpedia.org/resource/Modal_logic>
<http://dbpedia.org/resource/Principle_of_compositionality>
<http://dbpedia.org/resource/Dependence_logic>
<http://dbpedia.org/resource/Category:Game_theory>
<http://dbpedia.org/resource/Argumentation_theory>
<http://dbpedia.org/resource/Paul_Lorenzen>
<http://dbpedia.org/resource/Validity_(logic)>
<http://dbpedia.org/resource/Interactive_computation>
<http://dbpedia.org/resource/Intuitionistic_logic>
<http://dbpedia.org/resource/Intuitionistic_type_theory>
<http://dbpedia.org/resource/Kuno_Lorenz>
<http://dbpedia.org/resource/Universal_quantifier>
<http://dbpedia.org/resource/Negation>
<http://dbpedia.org/resource/Equisatisfiable>
<http://dbpedia.org/resource/Game_theory>
<http://dbpedia.org/resource/Branching_quantifier>
<http://dbpedia.org/resource/Category:Quantifier_(logic)>
<http://dbpedia.org/resource/Model_checking>
<http://dbpedia.org/resource/Connexive_logic>
<http://dbpedia.org/resource/Andreas_Blass>
<http://dbpedia.org/resource/Linear_logic>
<http://dbpedia.org/resource/Logic>
<http://dbpedia.org/resource/Logical_conjunction>
<http://dbpedia.org/resource/Ludics>
<http://dbpedia.org/resource/Skolem_function>
<http://dbpedia.org/resource/Computability_logic>
<http://dbpedia.org/resource/Computational_linguistics>
<http://dbpedia.org/resource/Propositional_logic>
<http://dbpedia.org/resource/Theoretical_computer_science>
<http://dbpedia.org/resource/Category:Philosophical_logic>
<http://dbpedia.org/resource/Category:Semantics>
<http://dbpedia.org/resource/Truth>
<http://dbpedia.org/resource/Truth_value>
<http://dbpedia.org/resource/Wilfrid_Hodges>
<http://dbpedia.org/resource/Giorgi_Japaridze>
<http://dbpedia.org/resource/Amsterdam>
<http://dbpedia.org/resource/First-order_logic>
<http://dbpedia.org/resource/Formal_semantics_(logic)>
<http://dbpedia.org/resource/Formal_semantics_of_programming_languages>
<http://dbpedia.org/resource/Dialogical_logic>
<http://dbpedia.org/resource/Strategic_dominance>
<http://dbpedia.org/resource/Quantifier_(logic)>
<http://dbpedia.org/resource/Relevance_logic>
<http://dbpedia.org/resource/Halting_problem>
<http://dbpedia.org/resource/Jaakko_Hintikka>
<http://dbpedia.org/resource/Jean-Yves_Girard>
<http://dbpedia.org/resource/Threefold_repetition>
<http://dbpedia.org/resource/Artificial_intelligence>
<http://dbpedia.org/resource/Category:Logic_in_computer_science>
<http://dbpedia.org/resource/Category:Mathematical_logic>
<http://dbpedia.org/resource/Johan_van_Benthem_(logician)>
<http://dbpedia.org/resource/Ehrenfeucht–Fraïssé_game>
<http://dbpedia.org/resource/Witness_(mathematics)>
<http://dbpedia.org/resource/Dov_Gabbay>
<http://dbpedia.org/resource/Axiom_of_choice>
<http://dbpedia.org/resource/Socratic_dialogues>
<http://dbpedia.org/resource/Classical_logic>
<http://dbpedia.org/resource/Free_logic>
<http://dbpedia.org/resource/Winning_strategy>
<http://dbpedia.org/resource/Independence-friendly_logic>
<http://dbpedia.org/resource/Bound_variable>
<http://dbpedia.org/resource/Martin_Hyland>
<http://dbpedia.org/resource/Perfect_information>
<http://dbpedia.org/resource/Theory_of_Obligationes>
<http://dbpedia.org/resource/Springer-Verlag>
<http://dbpedia.org/resource/Fully_abstract>
<http://dbpedia.org/resource/Disjunction>
<http://dbpedia.org/resource/Wilfred_Hodges>
<http://dbpedia.org/resource/Programming_language_for_Computable_Functions>
<http://dbpedia.org/resource/Compositional_semantics>
<http://dbpedia.org/resource/Existential_quantifier>
<http://dbpedia.org/resource/Truth_definition>
<http://dbpedia.org/resource/Doi:10.1007/s10849-017-9252-4>
<http://dbpedia.org/resource/Luke_Ong>
<http://dbpedia.org/resource/Pasquale_Malacaria>
<http://dbpedia.org/resource/Radhakrishnan_Jagadeesan>
<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>
<http://rdf.freebase.com/ns/m.02x1f7>
<http://www.wikidata.org/entity/Q65122115>
<https://global.dbpedia.org/id/97atm>
<http://dbpedia.org/resource/Template:IEP>
<http://dbpedia.org/resource/Template:Cite_book>
<http://dbpedia.org/resource/Template:Cite_conference>
<http://dbpedia.org/resource/Template:Cite_journal>
<http://dbpedia.org/resource/Template:Harvtxt>
<http://dbpedia.org/resource/Template:ISBN>
<http://dbpedia.org/resource/Template:Ill>
<http://dbpedia.org/resource/Template:More_footnotes>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:SEP>
<http://dbpedia.org/resource/Template:Issn>
<http://dbpedia.org/resource/Template:Semantics>
<http://dbpedia.org/resource/Approach>
<http://en.wikipedia.org/wiki/Game_semantics?oldid=1104380510&ns=0>
<http://en.wikipedia.org/wiki/Game_semantics>

data from the linked data cloud