Finite and Finitely Separable Intermediate Propositional Logics.
Fabio BellissimaPublished in: J. Symb. Log. (1988)
Keyphrases
- finite number
- propositional logic
- default logic
- valued logic
- modal logic
- propositional variables
- first order logic
- expressive power
- coalition logic
- classical first order logic
- linearly separable
- autoepistemic logic
- nonmonotonic logics
- inference rules
- logical framework
- finite automata
- linearly ordered
- propositional dynamic logic
- temporal logic
- classical logic
- computational properties
- conditional logic
- horn clauses
- nonmonotonic reasoning
- data sets