A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle.
Federico AschieriMargherita ZorziPublished in: TYPES (2013)
Keyphrases
- mobile devices
- classical logic
- game theory
- computer games
- video games
- nash equilibrium
- game play
- fuzzy set theory
- markov model
- linear logic
- educational games
- game playing
- role playing
- fuzzy numbers
- game design
- pursuit evasion
- game theoretic
- monte carlo tree search
- online game
- game players
- markov processes
- markov chain
- theorem prover
- hidden markov models
- semi markov
- fuzzy information
- nash equilibria
- game based learning
- neural network
- conditional independence