Ein tiefgreifendes Springer Nature Fachbuch, das die Theorie‑Revision, Vererbungsmechanismen und abstrakte Eigenschaften nichtmonotoner Logiken detailliert untersucht; 520 Seiten für Experten in Informatik und Mathematik.