Knihu momentálně nemáme skladem
Formal Methods for Nonmonotonic and Related Logics
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Autoři
Parametry
- Počet stran
- 520 stránek
- Čas čtení
- 19 hodin
Více o knize
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 vydání
- 2018
- product-detail.submit-box.info.binding
- (pevná)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Formal Methods for Nonmonotonic and Related Logics
- Podtitul
- Vol II: Theory Revision, Inheritance, and Various Abstract Properties
- Jazyk
- anglicky
- Autoři
- Karl Schlechta
- Vydavatel
- Springer International Publishing
- Rok vydání
- 2018
- Vazba
- pevná
- Počet stran
- 520
- ISBN13
- 9783319896496
- Anotace
- 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.