Skip to search formSkip to main contentSkip to account menu

Game semantics

Known as: Dialogic logic, Dialogical logic, Dialogue logic 
Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or… 
Wikipedia (opens in a new tab)

Related topics

Related topics

19 relations
Artificial intelligenceComputability logicComputational linguisticsDenotational semantics

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Reasoning about Strategies
  • J. Benthem
  • Computation, Logic, Games, and Quantum…
  • 2013
  • Corpus ID: 17056696
Samson Abramsky has placed landmarks in the world of logic and games that I have long admired. In this little piece, I discuss… 
2012
2012
The Equational Approach to CF2 Semantics
We introduce a family of new equational semantics for argumentation networks which can handle odd and even loops in a uniform… 
2011
2011
On modelling burdens and standards of proof in structured argumentation
A formal model is proposed of argumentation with burdens and standards of proof, overcoming shortcomings of earlier work. The… 
Highly Cited
2004
Highly Cited
2004
The Grammar Machine
What mechanisms does the child bring to bear on the early acquisition of argument structure and grammatical relations? At least… 
Review
2003
Review
2003
Unaccusative Syntax and Verbal Alternations
features present on the functional heads in the syntax are spelled out with phonological content in the process of Vocabulary… 
2002
2002
Encoding Object-Z in Isabelle/HOL
In this paper, we present a formalisation of the reference semantics of Object-Z in the higher-order logic (HOL) instantiation of… 
Highly Cited
2001
Highly Cited
2001
basic objectives of dialogue logic in historical perspective
The extensive research in logic conducted by using concepts and methods of game theory as documented in this collection of papers… 
Highly Cited
1996
Highly Cited
1996
Bilingual Dictionaries: Past, Present and Future
The past is print dictionaries; the present is print dictionaries with some electronic versions of the same text; the future must… 
Review
1991
Review
1991
Conditional inference and logic for intelligent systems - a theory of measure-free conditioning
Introduction. Motivation and objectives. State-of-the-art. Outline of main contributions. Overview of the book. A Survey of… 
Highly Cited
1990
Highly Cited
1990
Enjoy the Paper: Lexicology
Current research being undertaken at both Cambridge and IBM is aimed at the construction of substantial lexicons containing… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)