On Game Semantics of the Affine and Intuitionistic Logics.
Ilya MezhirovNikolai K. VereshchaginPublished in: WoLLIC (2008)
Keyphrases
- classical logic
- propositional dynamic logic
- linear logic
- proof theory
- proof theoretic
- logic programming
- nonmonotonic logics
- higher order logic
- epistemic logic
- conditional logic
- logical framework
- theorem prover
- inference rules
- game theory
- video games
- proof procedures
- computer games
- valued logic
- modal logic
- game play
- intuitionistic logic
- expressive power
- computational properties
- affine invariant
- valued semantics
- autoepistemic logic
- formal semantics
- default reasoning
- game playing
- imperfect information
- modal operators
- fuzzy set theory
- educational games
- virtual world
- default theories
- digital games
- multi agent
- nonmonotonic reasoning
- game theoretic
- game design
- default logic
- cut elimination
- affine transformation
- incomplete information
- logic programs
- data model