The ⁎-variation of the Banach-Mazur game and forcing axioms.
Yasuo YoshinobuPublished in: Ann. Pure Appl. Log. (2017)
Keyphrases
- computer games
- game playing
- game theory
- game theoretic
- educational games
- knowledge base
- game based learning
- role playing
- virtual world
- first order logic
- video games
- serious games
- game play
- game design
- incomplete information
- two player games
- real time
- complete axiomatization
- nash equilibrium
- key features
- description logics
- search algorithm
- neural network