Towards game semantics for nuanced logics.
Denisa DiaconescuIoana LeusteanPublished in: FUZZ-IEEE (2017)
Keyphrases
- propositional dynamic logic
- nonmonotonic logics
- proof theory
- conditional logic
- proof theoretic
- game theory
- modal logic
- epistemic logic
- computer games
- higher order logic
- expressive power
- video games
- educational games
- computational properties
- game based learning
- game playing
- game play
- nash equilibrium
- valued semantics
- valued logic
- imperfect information
- cooperative game
- kripke models
- logic programming
- inference rules
- game design
- dynamic logic
- multi agent
- proof procedures
- semantic information
- default logic
- modal operators
- perfect information
- nonmonotonic reasoning
- optimal strategy
- default reasoning
- formal semantics
- online game
- model theoretic
- propositional logic
- model checking
- virtual world
- nash equilibria