Finite and Finitely Separable Intermediate Propositional Logics.

Fabio Bellissima

Published 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