Ein kompakter Leitfaden, der klassische Logik mit nichtmonotonen Systemen verbindet, die Dynamik von Schlussfolgerungen beleuchtet und zeigt, wie Unsicherheit in formalen Modellen elegant integriert wird.