Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
No Customer Reviews
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects...
Format:Hardcover
Language:English
ISBN:3319896520
ISBN13:9783319896526
Release Date:November 2018
Publisher:Springer
Length:335 Pages
Weight:1.52 lbs.
Dimensions:0.8" x 6.1" x 9.2"
Related Subjects
Math Mathematics Philosophy Science Science & Math Science & Scientists Science & TechnologyCustomer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
