Das Buch ist derzeit nicht auf Lager
Formal Methods for Nonmonotonic and Related Logics
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Autoren
Parameter
- Seitenzahl
- 520 Seiten
- Lesezeit
- 19 Stunden
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.
Buchkauf
Formal Methods for Nonmonotonic and Related Logics, Karl Schlechta
- Sprache
- Erscheinungsdatum
- 2018
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Formal Methods for Nonmonotonic and Related Logics
- Untertitel
- Vol II: Theory Revision, Inheritance, and Various Abstract Properties
- Sprache
- Englisch
- Autor*innen
- Karl Schlechta
- Erscheinungsdatum
- 2018
- Einband
- Hardcover
- Seitenzahl
- 520
- ISBN13
- 9783319896496
- Beschreibung
- 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.