TY - JOUR
AU1 - Suchenek, Marek
AB - This paper investigates a consistent versioncwa

s
of Reiter's closed-world assumptioncwa. It provides a syntactic characterization of minimal entailment ⊢
min
: for every ∨-sentence ϕ and for every ∨-theory Σ,
TI - First-order syntactic characterizations of minimal entailment, domain-minimal entailment, and Herbrand entailment
JF - Journal of Automated Reasoning
DO - 10.1007/BF00881837
DA - 2004-12-10
UR - https://www.deepdyve.com/lp/springer-journals/first-order-syntactic-characterizations-of-minimal-entailment-domain-f1OOm5TaaM
SP - 237
EP - 263
VL - 10
IS - 2
DP - DeepDyve
ER -