Games for Hybrid Logic - From Semantic Games to Analytic Calculi.
Robert FreimanPublished in: CoRR (2022)
Keyphrases
- video games
- computer games
- game design
- game based learning
- logic programming
- game theory
- nash equilibrium
- game play
- winning strategy
- coalitional games
- game playing
- educational games
- learning environment
- incomplete information
- natural language
- digital games
- nash equilibria
- logical framework
- classical logic
- game development
- imperfect information
- high level
- logical representation
- neural network