Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle.
Chris J. ConidisNoam GreenbergDaniel TuretskyPublished in: Notre Dame J. Formal Log. (2013)
Keyphrases
- game theory
- video games
- game playing
- computer games
- game theoretic
- internal and external
- perfect information
- serious games
- optimal strategy
- case law
- cognitive processes
- game design
- repeated games
- nash equilibrium
- key features
- game players
- data sets
- human computation
- pac man
- stochastic games
- imperfect information
- game development
- educational games
- virtual world