Fuhrmann, André. “Nonmonotonic Logic”