First-Order Game Logic and Modal Mu-Calculus.
Noah Abou El WafaAndré PlatzerPublished in: CoRR (2022)
Keyphrases
- modal logic
- transition systems
- sequent calculus
- conditional logic
- linear temporal logic
- first order logic
- general logic programs
- proof procedure
- cut elimination
- tableau calculus
- computer algebra
- nonmonotonic logics
- temporal logic
- natural deduction
- model checking
- predicate calculus
- formal language
- classical logic
- inference rules
- winning strategy
- algebraic structure
- term rewriting
- video games
- horn clauses
- game theory
- higher order
- linear time temporal logic
- computer games
- concurrent systems
- game play
- sound and complete with respect
- game theoretic
- proof search
- theorem proving
- dynamic logic
- nash equilibrium
- classical first order logic
- probabilistic logic
- lambda calculus
- game playing
- automated theorem proving
- computational properties
- theorem prover
- game design
- modal operators
- predicate logic
- knowledge base
- relation algebra
- real numbers
- proof procedures
- educational games
- linear logic
- model theoretic
- logical framework
- deductive databases
- serious games
- logic programming
- description logics
- quantifier free
- multi valued
- kripke models