Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Game_semantics> ?p ?o }
- Game_semantics 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.".
- Game_semantics wikiPageExternalLink 0507045.
- Game_semantics wikiPageExternalLink LICS.2009.26.
- Game_semantics wikiPageExternalLink logic-dialogical.
- Game_semantics wikiPageExternalLink logic-games.
- Game_semantics wikiPageExternalLink luke.ong.
- Game_semantics wikiPageExternalLink cl.html.
- Game_semantics wikiPageExternalLink ~japaridz.
- Game_semantics wikiPageExternalLink gsoll.html.
- Game_semantics wikiPageExternalLink www.gamesemantics.org.
- Game_semantics wikiPageExternalLink 978-1-4020-9373-9.
- Game_semantics wikiPageID "617121".
- Game_semantics wikiPageLength "12250".
- Game_semantics wikiPageOutDegree "75".
- Game_semantics wikiPageRevisionID "668105205".
- Game_semantics wikiPageWikiLink Amsterdam.
- Game_semantics wikiPageWikiLink Andreas_Blass.
- Game_semantics wikiPageWikiLink Argumentation_theory.
- Game_semantics wikiPageWikiLink Artificial_intelligence.
- Game_semantics wikiPageWikiLink Axiom_of_choice.
- Game_semantics wikiPageWikiLink Bound_variable.
- Game_semantics wikiPageWikiLink Branching_quantifier.
- Game_semantics wikiPageWikiLink Category:Game_theory.
- Game_semantics wikiPageWikiLink Category:Logic_in_computer_science.
- Game_semantics wikiPageWikiLink Category:Mathematical_logic.
- Game_semantics wikiPageWikiLink Category:Philosophical_logic.
- Game_semantics wikiPageWikiLink Category:Quantification.
- Game_semantics wikiPageWikiLink Compositional_semantics.
- Game_semantics wikiPageWikiLink Computability_logic.
- Game_semantics wikiPageWikiLink Computational_linguistics.
- Game_semantics wikiPageWikiLink Denotational_semantics.
- Game_semantics wikiPageWikiLink Dependence_logic.
- Game_semantics wikiPageWikiLink Determinacy.
- Game_semantics wikiPageWikiLink Disjunction.
- Game_semantics wikiPageWikiLink Domain_of_quantification.
- Game_semantics wikiPageWikiLink Dov_Gabbay.
- Game_semantics wikiPageWikiLink Ehrenfeucht–Fraïssé_game.
- Game_semantics wikiPageWikiLink Equisatisfiability.
- Game_semantics wikiPageWikiLink Equisatisfiable.
- Game_semantics wikiPageWikiLink Existential_quantification.
- Game_semantics wikiPageWikiLink Existential_quantifier.
- Game_semantics wikiPageWikiLink First-order_logic.
- Game_semantics wikiPageWikiLink Formal_semantics_(logic).
- Game_semantics wikiPageWikiLink Formal_semantics_of_programming_languages.
- Game_semantics wikiPageWikiLink Free_variables_and_bound_variables.
- Game_semantics wikiPageWikiLink Fully_abstract.
- Game_semantics wikiPageWikiLink Game_theory.
- Game_semantics wikiPageWikiLink Giorgi_Japaridze.
- Game_semantics wikiPageWikiLink Independence-friendly_logic.
- Game_semantics wikiPageWikiLink Interactive_computation.
- Game_semantics wikiPageWikiLink Intuitionistic_logic.
- Game_semantics wikiPageWikiLink Jaakko_Hintikka.
- Game_semantics wikiPageWikiLink Johan_van_Benthem_(logician).
- Game_semantics wikiPageWikiLink Linear_logic.
- Game_semantics wikiPageWikiLink Logic.
- Game_semantics wikiPageWikiLink Logical_conjunction.
- Game_semantics wikiPageWikiLink Logical_disjunction.
- Game_semantics wikiPageWikiLink Ludics.
- Game_semantics wikiPageWikiLink Martin_Hyland.
- Game_semantics wikiPageWikiLink Model_checking.
- Game_semantics wikiPageWikiLink Negation.
- Game_semantics wikiPageWikiLink Pasquale_Malacaria.
- Game_semantics wikiPageWikiLink Paul_Lorenzen.
- Game_semantics wikiPageWikiLink Perfect_information.
- Game_semantics wikiPageWikiLink Predicate_logic.
- Game_semantics wikiPageWikiLink Principle_of_compositionality.
- Game_semantics wikiPageWikiLink Programming_Computable_Functions.
- Game_semantics wikiPageWikiLink Programming_language_for_Computable_Functions.
- Game_semantics wikiPageWikiLink Propositional_calculus.
- Game_semantics wikiPageWikiLink Propositional_logic.
- Game_semantics wikiPageWikiLink Quantifier_(logic).
- Game_semantics wikiPageWikiLink Radhakrishnan_Jagadeesan.
- Game_semantics wikiPageWikiLink Samson_Abramsky.
- Game_semantics wikiPageWikiLink Semantic_theory_of_truth.
- Game_semantics wikiPageWikiLink Semantics_(computer_science).
- Game_semantics wikiPageWikiLink Skolem_function.
- Game_semantics wikiPageWikiLink Skolem_normal_form.
- Game_semantics wikiPageWikiLink Socratic_dialogue.
- Game_semantics wikiPageWikiLink Socratic_dialogues.
- Game_semantics wikiPageWikiLink Theoretical_computer_science.
- Game_semantics wikiPageWikiLink Theory_of_Obligationes.
- Game_semantics wikiPageWikiLink Theory_of_obligationes.
- Game_semantics wikiPageWikiLink Truth.
- Game_semantics wikiPageWikiLink Truth_definition.
- Game_semantics wikiPageWikiLink Truth_value.
- Game_semantics wikiPageWikiLink Universal_quantification.
- Game_semantics wikiPageWikiLink Universal_quantifier.
- Game_semantics wikiPageWikiLink Validity.
- Game_semantics wikiPageWikiLink Wilfred_Hodges.
- Game_semantics wikiPageWikiLink Wilfrid_Hodges.
- Game_semantics wikiPageWikiLink Winning_strategy.
- Game_semantics wikiPageWikiLink Witness_(mathematics).
- Game_semantics wikiPageWikiLinkText "Game Semantics".
- Game_semantics wikiPageWikiLinkText "Game semantics".
- Game_semantics wikiPageWikiLinkText "Game-theoretical semantics".
- Game_semantics wikiPageWikiLinkText "game semantics for first-order logic".
- Game_semantics wikiPageWikiLinkText "game semantics".
- Game_semantics wikiPageWikiLinkText "game theoretic semantics".
- Game_semantics wikiPageWikiLinkText "game-theoretic".
- Game_semantics hasPhotoCollection Game_semantics.