Beschreibung:
<jats:p>We propose a semantics for disjunctive logic programs, based on the single notion of forcing. We show that the semantics properly extends, in a natural way, previous approaches. A fixpoint characterization is also provided. We also take a closer look at the relationship between disjunctive logic programs and disjunctive‐free logic programs. We present certain criteria under which a disjunctive program is semantically equivalent with its disjunctive‐free (shifted) version.</jats:p>