  At the outset in  Section 3.1,  it was mentioned how preferred models could be used to characterize a nonmonotonic consequence relation. This general model theory of nonmonotonicity emerged in  Shoham 1988,  five years after the work discussed in  Section 3.2,  and represents a much more general and abstract approach. 