A Class of Decidable Intermediate Propositional Logics.

Published in: J. Symb. Log. (1971)

Keyphrases

first order logic
expressive power
default logic
polynomial hierarchy
propositional variables
transitive closure
logic programming
modal logic
inference rules
propositional logic
linearly ordered