About: Game semantics

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

Approach to formal semantics

Property	Value
dbo:description	approach to formal semantics (en)
dbo:wikiPageExternalLink	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://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://arxiv.org/abs/cs.LO/0507045 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 http://doi.ieeecomputersociety.org/10.1109/LICS.2009.26 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 https://onlinelibrary.wiley.com/doi/abs/10.1111/1467-8349.00077 https://link.springer.com/article/10.1007/s10849-017-9252-4 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://academic.oup.com/jigpal/article/9/5/693/688327 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://doi.org/10.1007/s11225-008-9150-5
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Johan_van_Benthem_(logician) dbr:Samson_Abramsky dbr:Independence-friendly_logic dbr:Classical_logic dbr:Quantifier_(logic) dbr:Validity_(logic) dbr:Perfect_information dbr:Intuitionistic_type_theory dbr:Artificial_intelligence dbc:Game_theory dbr:First-order_logic dbc:Quantifier_(logic) dbr:Kuno_Lorenz dbr:Wilfrid_Hodges dbr:Propositional_logic dbr:Skolem_function dbr:Argumentation_theory dbc:Logic_in_computer_science dbr:Paul_Lorenzen dbr:Bound_variable dbr:Principle_of_compositionality dbr:Amsterdam dbc:Philosophical_logic dbr:Logic dbr:Logical_conjunction dbr:Modal_logic dbr:Dialogical_logic dbr:Halting_problem dbr:Threefold_repetition dbr:Interactive_computation dbr:Linear_logic dbr:Ehrenfeucht–Fraïssé_game dbc:Mathematical_logic dbc:Semantics dbr:Game_theory dbr:Truth dbr:Intuitionistic_logic dbr:Relevance_logic dbr:Theoretical_computer_science dbr:Jean-Yves_Girard dbr:Martin_Hyland dbr:Negation dbr:Truth_value dbr:Equisatisfiable dbr:Dov_Gabbay dbr:Free_logic dbr:Branching_quantifier dbr:Andreas_Blass dbr:Giorgi_Japaridze dbr:Strategic_dominance dbr:Computational_linguistics dbr:Axiom_of_choice dbr:Jaakko_Hintikka dbr:Ludics dbr:Computability_logic dbr:Connexive_logic dbr:Dependence_logic dbr:Springer-Verlag dbr:Formal_semantics_of_programming_languages dbr:Formal_semantics_(logic) dbr:Universal_quantifier dbr:Witness_(mathematics) dbr:Predicate_logic dbr:Existential_quantifier dbr:Theory_of_Obligationes dbr:Fully_abstract dbr:Wilfred_Hodges dbr:Disjunction dbr:Socratic_dialogues dbr:Winning_strategy dbr:Compositional_semantics dbr:Truth_definition dbr:Programming_language_for_Computable_Functions dbr:Doi:10.1007/s10849-017-9252-4 dbr:Luke_Ong dbr:Pasquale_Malacaria dbr:Radhakrishnan_Jagadeesan
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Cite_conference dbt:ISBN dbt:Semantics dbt:Harvtxt dbt:IEP dbt:Ill dbt:Issn dbt:More_footnotes dbt:SEP
dct:subject	dbc:Game_theory dbc:Quantifier_(logic) dbc:Logic_in_computer_science dbc:Philosophical_logic dbc:Mathematical_logic dbc:Semantics
gold:hypernym	dbr:Approach
rdfs:label	Game semantics (en)
owl:sameAs	freebase:Game semantics wikidata:Game semantics dbpedia-global:Game semantics
prov:wasDerivedFrom	wikipedia-en:Game_semantics?oldid=1292416086&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Game_semantics
is dbo:academicDiscipline of	dbr:Samson_Abramsky
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:Johan_van_Benthem_(logician) dbr:List_of_computability_and_complexity_topics dbr:List_of_functional_programming_topics dbr:Samson_Abramsky dbr:Independence-friendly_logic dbr:Index_of_philosophy_articles_(D–H) dbr:First-order_logic dbr:Logic_and_dialectic dbr:Kuno_Lorenz dbr:Modal_μ-calculus dbr:Paul_Lorenzen dbr:Dialogical_logic dbr:Interactive_computation dbr:Linear_logic dbr:Denotational_semantics dbr:Ehrenfeucht–Fraïssé_game dbr:Index_of_logic_articles dbr:Programming_Computable_Functions dbr:Game_theory dbr:Intuitionistic_logic dbr:Semantics_of_logic dbr:Martin_Hyland dbr:Theory_of_obligationes dbr:Semantics_(computer_science) dbr:Outline_of_games dbr:Π-calculus dbr:Branching_quantifier dbr:Andreas_Blass dbr:Logic_game dbr:List_of_Finnish_Americans dbr:Jaakko_Hintikka dbr:Bunched_logic dbr:Ludics dbr:List_of_computer_scientists dbr:Computability_logic dbr:Dependence_logic dbr:Geometry_of_interaction dbr:Outline_of_logic dbr:Intuitionism dbr:Witness_(mathematics) dbr:Truth-value_semantics dbr:Logics_for_computability dbr:History_of_game_semantics dbr:Dialogic_logic dbr:Dialogue_logic dbr:List_of_Wolfson_College,_Oxford,_people
is foaf:primaryTopic of	wikipedia-en:Game_semantics