Kniha momentálne nie je na sklade
Formal Methods for Nonmonotonic and Related Logics
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Autori
Parametre
- Počet strán
- 520 stránok
- Čas čítania
- 19 hodin
Viac o knihe
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.
Nákup knihy
Formal Methods for Nonmonotonic and Related Logics, Karl Schlechta
- Jazyk
- Rok vydania
- 2018
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Formal Methods for Nonmonotonic and Related Logics
- Podtitul
- Vol II: Theory Revision, Inheritance, and Various Abstract Properties
- Jazyk
- anglicky
- Autori
- Karl Schlechta
- Vydavateľ
- Springer International Publishing
- Rok vydania
- 2018
- Väzba
- pevná
- Počet strán
- 520
- ISBN13
- 9783319896496
- Anotácia
- 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.