The disjunction property of intermediate propositional logics.

Alexander V. Chagrov Michael Zakharyaschev

Published in: Stud Logica (1991)

Keyphrases

default logic
propositional logic
expressive power
first order logic
inference rules
classical first order logic
propositional variables
nonmonotonic logics
desirable properties
logic programming
probabilistic logic
relational databases
autoepistemic logic
epistemic logic
strips planning
data sets
database