Uniform Interpolation and Propositional Quantifiers in Modal Logics.
Marta BílkováPublished in: Stud Logica (2007)
Keyphrases
- modal logic
- default logic
- first order logic
- inference rules
- autoepistemic logic
- nonmonotonic logics
- decision procedures
- temporal logic
- propositional logic
- classical logic
- default theories
- nonmonotonic reasoning
- situation calculus
- model theoretic
- image interpolation
- horn clauses
- default reasoning
- epistemic logic
- modal operators
- dynamic logic
- defeasible logic
- interpolation method
- probabilistic reasoning
- conditional logic
- theorem proving
- theorem prover
- belief revision
- knowledge representation
- search algorithm