Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

by Karl Schlechta

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this 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: 3319896490
• ISBN13: 9783319896496
• Release Date: November 2018
• Publisher: Springer
• Length: 473 Pages
• Weight: 1.98 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"