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.
2013
2013
Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study
We present a formal decision-making framework, where decisions have multiple attributes and meet goals, and preferences are… 
2013
2013
Decision Making with Assumption-Based Argumentation
In this paper, we present two different formal frameworks for representing decision making. In both frameworks, decisions have… 
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
2006
Highly Cited
2006
Logic and the Modalities in the Twentieth Century
2003
2003
About translations of classical logic into polarized linear logic
We show that the decomposition of intuitionistic logic into linear logic along the equation A /spl rarr/ B = !A /spl rarr/ B may… 
1997
1997
Coming to know: Studies in the lexical semantics and pragmatics of academic English
1991
1991
Grammatical relations, thematic roles and verb semantics
Grammatical relations have always constituted a primary focus of attention in the study of language. Within the last three… 
1987
1987
Generation Systems Should Choose Their Words
Almost all current natural language generation (NLG) systems, as contrasted with current NL understanding (NLU) systems, have one… 
Highly Cited
1979
Highly Cited
1979
Interval semantics for tense logic: Some remarks
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)