Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Game_semantics> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- 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. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz. At almost the same time as Lorenzen, Jaakko Hintikka developed a model-theoretical approach known in the literature as GTS. Since then, a number of different game semantics have been studied in logic. Shahid Rahman (Lille) and collaborators developed dialogic into a general framework for the study of logical and philosophical issues related to logical pluralism. At around 1995 this triggered a kind of Renaissance with lasting consequences. Actually this new philosophical impulse experienced a parallel renewal in the fields of theoretical computer science, computational linguistics, artificial intelligence and the formal semantics of programming languages triggered by the work of Johan van Benthem and collaborators in Amsterdam who looked thoroughly at the interface between logic and games. New results in linear logic by J-Y. Girard in the interfaces between mathematical game theory and logic on one hand and argumentation theory and logic on the other hand resulted in the work of many others, including S. Abramsky, J. van Benthem, A. Blass, D. Gabbay, M. Hyland, W. Hodges, R. Jagadeesan, G. Japaridze, E. Krabbe, L. Ong, H. Prakken, G. Sandu D. Walton, and J. Woods who placed game semantics at the center of a new concept in logic in which logic is understood as a dynamic instrument of inference.".
- 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 wikiPageRevisionID "605128933".
- Game_semantics hasPhotoCollection Game_semantics.
- Game_semantics subject Category:Game_theory.
- Game_semantics subject Category:Logic_in_computer_science.
- Game_semantics subject Category:Mathematical_logic.
- Game_semantics subject Category:Philosophical_logic.
- Game_semantics subject Category:Quantification.
- Game_semantics 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. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz.".
- Game_semantics label "Dialogische Logik".
- Game_semantics label "Game semantics".
- Game_semantics label "Logique du dialogue".
- Game_semantics label "Lógica do Diálogo".
- Game_semantics label "ゲーム意味論".
- Game_semantics label "博弈语义".
- Game_semantics sameAs Dialogische_Logik.
- Game_semantics sameAs Logique_du_dialogue.
- Game_semantics sameAs ゲーム意味論.
- Game_semantics sameAs Lógica_do_Diálogo.
- Game_semantics sameAs m.02x1f7.
- Game_semantics sameAs Q1208485.
- Game_semantics sameAs Q1208485.
- Game_semantics wasDerivedFrom Game_semantics?oldid=605128933.
- Game_semantics isPrimaryTopicOf Game_semantics.