  The three 1980 papers mentioned at the beginning of  Section 3.2  represent three approaches to nonmonotonic logic that remain important subfields to this day: circumscription (McCarthy), modal approaches (Doyle &amp; McDermott) and default logic (Reiter).