Frame-Validity Games and Absolute Minimality of Modal Axioms.
Philippe BalbianiDavid Fernández-DuqueAndreas HerzigPetar IlievPublished in: Advances in Modal Logic (2018)
Keyphrases
- kripke models
- modal logic
- video games
- game theory
- computer games
- frame rate
- game playing
- data sets
- weighted majority
- belief change
- video frames
- game theoretic
- game design
- reference frame
- educational games
- consecutive frames
- nash equilibrium
- partial order
- knowledge base
- serious games
- first order logic
- clustering method
- game tree
- game development
- cooperative
- leader follower