Completeness for Game Logic.
Sebastian EnqvistHelle Hvid HansenClemens KupkeJohannes MartiYde VenemaPublished in: CoRR (2019)
Keyphrases
- winning strategy
- computer games
- game playing
- logic programming
- educational games
- video games
- game play
- game theory
- nash equilibrium
- classical logic
- real time strategy games
- automated reasoning
- set theory
- order sorted
- virtual world
- learning games
- digital circuits
- defeasible logic
- game theoretic
- game design
- modal logic
- computational properties
- optimal strategy
- deontic logic
- asynchronous circuits
- learning experience