A New Game Equivalence, its Logic and Algebra.
Johan van BenthemNick BezhanishviliSebastian EnqvistPublished in: J. Philos. Log. (2019)
Keyphrases
- boolean algebra
- winning strategy
- set theory
- game theory
- logic programming
- algebraic structure
- relation algebra
- computer games
- video games
- game playing
- multi valued
- classical logic
- game play
- game theoretic
- modal logic
- nash equilibrium
- game development
- data model
- game design
- virtual world
- mobile games
- imperfect information
- nonmonotonic logics
- database
- automated reasoning
- digital circuits
- truth values
- perfect information
- game players
- relational algebra
- proof theory
- formal logic
- query language
- algebraic operators
- game based learning