Correction to my paper "Some completeness results for intermediate propositional logics".
C. G. McKayPublished in: Notre Dame J. Formal Log. (1968)
Keyphrases
- default logic
- propositional variables
- first order logic
- coalition logic
- expressive power
- modal logic
- classical first order logic
- propositional logic
- linearly ordered
- logic programming
- inference rules
- autoepistemic logic
- nonmonotonic logics
- order sorted
- horn logic
- classical logic
- logical framework
- horn clauses
- multi valued
- error correction
- relational databases
- default theories
- error analysis
- theorem proving
- computational properties
- decision procedures
- default reasoning
- strips planning
- propositional calculus
- satisfiability testing
- data quality
- model checking