About: Game semantics

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Game semantics Goto Sponge Distinct Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGame_semantics

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.

Attributes	Values
rdf:type	programming language
rdfs:label	Game semantics (en)
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)
dcterms:subject	Game theory Quantifier (logic) Philosophical logic Semantics Logic in computer science Mathematical logic
Wikipage page ID	617121 (xsd:integer)
Wikipage revision ID	1104380510 (xsd:integer)
Link from a Wikipage to another Wikipage	Predicate logic Samson Abramsky Modal logic Principle of compositionality Dependence logic Game theory Argumentation theory Paul Lorenzen Validity (logic) Interactive computation Intuitionistic logic Intuitionistic type theory Kuno Lorenz Universal quantifier Negation Equisatisfiable Game theory Branching quantifier Quantifier (logic) Model checking Connexive logic Andreas Blass Linear logic Logic Logical conjunction Ludics Skolem function Computability logic Computational linguistics Propositional logic Theoretical computer science Philosophical logic Semantics Truth Truth value Wilfrid Hodges Giorgi Japaridze Amsterdam First-order logic Formal semantics (logic) Formal semantics of programming languages Dialogical logic Strategic dominance Quantifier (logic) Relevance logic Halting problem Jaakko Hintikka Jean-Yves Girard Threefold repetition Artificial intelligence Logic in computer science Mathematical logic Johan van Benthem (logician) Ehrenfeucht–Fraïssé game Witness (mathematics) Dov Gabbay Axiom of choice Socratic dialogues Classical logic Free logic Winning strategy Independence-friendly logic Bound variable Martin Hyland Perfect information Theory of Obligationes Springer-Verlag Fully abstract Disjunction Wilfred Hodges Programming language for Computable Functions Compositional semantics Existential quantifier Truth definition dbr:Doi:10.1007/s10849-017-9252-4 dbr:Luke_Ong dbr:Pasquale_Malacaria dbr:Radhakrishnan_Jagadeesan
Link from a Wikipage to an external page	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

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software