Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Autor*innen

• Karl Schlechta

Parameter

• 520 Seiten
• 19 Lesestunden

• Informatik & Programmierung
• Mathematik
• Philosophie
• Wissenschaftsgeschichte & -theorie

Mehr zum Buch

Focusing on advanced logic, this textbook's second volume delves into various complex topics, including theory revision, defeasible inheritance theory, and interpolation. It also explores neighbourhood semantics, deontic logic, and abstract independence, providing a comprehensive look at nonmonotonic logics. The author connects philosophical considerations to formal constructions, making it a valuable resource for those seeking in-depth knowledge in these areas.

• Sprache: Englisch
• Erscheinungsdatum: 2018
• Einband: Hardcover