The book is currently out of stock
Formal Methods for Nonmonotonic and Related Logics
Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Authors
Parameters
- Pages
- 520 pages
- Reading time
- 19 hours
More about the book
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.
Book purchase
Formal Methods for Nonmonotonic and Related Logics, Karl Schlechta
- Language
- Released
- 2018
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal Methods for Nonmonotonic and Related Logics
- Subtitle
- Vol II: Theory Revision, Inheritance, and Various Abstract Properties
- Language
- English
- Authors
- Karl Schlechta
- Publisher
- Springer International Publishing
- Released
- 2018
- Format
- Hardcover
- Pages
- 520
- ISBN13
- 9783319896496
- Description
- 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.