An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers.
Simi HaberSaharon ShelahPublished in: Fields of Logic and Computation II (2015)
Keyphrases
- first order logic
- expressive power
- inference rules
- conditional logic
- classical first order logic
- game theory
- higher order
- modal logic
- game playing
- computer games
- video games
- game play
- default reasoning
- game design
- serious games
- game theoretic
- digital games
- cooperative game
- inheritance reasoning
- virtual world
- theorem proving
- propositional logic
- model checking
- imperfect information
- learning games
- valued logic