  Although it is not evident from the formulation, Turner’s account of preferred models is related to the constructions of more general nonmonotonic logics, such as default logic. Consult  Turner 1999  for details.