An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.
Dmitrij P. SkvortsovPublished in: Advances in Modal Logic (2002)
Keyphrases
- default logic
- first order logic
- expressive power
- inference rules
- classical first order logic
- nonmonotonic logics
- default theories
- modal logic
- knowledge representation formalisms
- propositional logic
- autoepistemic logic
- incomplete information
- nonmonotonic reasoning
- default reasoning
- horn clauses
- logic programming
- classical logic
- truth maintenance systems
- coalition logic
- proof theory
- theorem proving
- propositional variables
- linearly ordered
- computational properties
- decision procedures
- probabilistic logic
- fixed point
- epistemic logic
- answer set programming