Reiter’s logic for default reasoning
A theory can have zero, one or several extensions
Skeptical and credulous consequence relations have been defined by taking respectively the intersection and the union of the extensions of a theory
Side remark: In my opinion, it is better to consider each extension (if existing) as a set of consequences of a theory