Semantics and proof-theory of depth bounded Boolean logics.

Marcello D'Agostino Marcelo Finger Dov M. Gabbay

Published in: Theor. Comput. Sci. (2013)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
nonmonotonic reasoning
boolean functions
reasoning tasks
data model
partial order
constraint propagation
default logic
cp nets