Decidable fragments of first-order modal logics with counting quantifiers over varying domains.
Christopher HampsonPublished in: CoRR (2018)
Keyphrases
- modal logic
- first order logic
- inference rules
- conditional logic
- temporal logic
- decision procedures
- theorem proving
- mazurkiewicz traces
- expressive power
- situation calculus
- propositional logic
- epistemic logic
- theorem prover
- probabilistic reasoning
- default logic
- transitive closure
- knowledge representation
- horn clauses
- incomplete information
- classical logic
- nonmonotonic logics
- action theories
- inductive logic programming
- nonmonotonic reasoning
- model checking
- belief revision
- kripke models
- np hard