The Succinctness of First-order Logic over Modal Logic via a Formula Size Game.
Lauri HellaMiikka VilanderPublished in: CoRR (2016)
Keyphrases
- modal logic
- first order logic
- inference rules
- horn clauses
- expressive power
- temporal logic
- theorem proving
- classical logic
- theorem prover
- kripke models
- propositional logic
- dynamic logic
- markov networks
- knowledge representation
- inductive logic programming
- logical formulas
- valued logic
- mazurkiewicz traces
- probabilistic reasoning
- nonmonotonic logics
- relational algebra
- probabilistic graphical models
- situation calculus
- representation language
- formal semantics
- markov logic
- incomplete information
- computational complexity
- transitive closure
- markov logic networks
- default logic
- modal operators
- satisfiability problem
- prime implicates
- probabilistic model
- expert systems