Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

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 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"