A Fully Abstract Game Semantics for Finite Nondeterminism.
Russell HarmerGuy McCuskerPublished in: LICS (1999)
Keyphrases
- game theory
- propositional dynamic logic
- computer games
- nash equilibrium
- finite number
- semantic information
- video games
- educational games
- game play
- game playing
- game theoretic
- complete axiomatization
- high level
- operational semantics
- nash equilibria
- formal semantics
- graphical representation
- serious games
- virtual world
- logic programming
- online game
- digital games
- monte carlo tree search
- higher level