The Decidability of Certain Intermediate Propositional Logics.
C. G. McKayPublished in: J. Symb. Log. (1968)
Keyphrases
- decision procedures
- default logic
- propositional logic
- classical first order logic
- modal logic
- first order logic
- expressive power
- description logics
- propositional variables
- nonmonotonic logics
- linearly ordered
- computational properties
- coalition logic
- logic programming
- horn logic
- autoepistemic logic
- query answering
- horn clauses
- number restrictions
- multi valued
- automated reasoning
- propositional formulas
- truth maintenance systems
- inference rules