Description: 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 of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.
Price: 214 AUD
Location: Hillsdale, NSW
End Time: 2024-11-19T13:38:20.000Z
Shipping Cost: 31.03 AUD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 60 Days
Return policy details:
EAN: 9783319896496
UPC: 9783319896496
ISBN: 9783319896496
MPN: N/A
Book Title: Formal Methods for Nonmonotonic and Related Logics
Item Length: 23.4 cm
Number of Pages: 473 Pages
Language: English
Publication Name: Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Publisher: Springer International Publishing Ag
Publication Year: 2018
Subject: Computer Science, Science, Mathematics
Item Height: 235 mm
Item Weight: 939 g
Type: Textbook
Author: Karl Schlechta
Item Width: 155 mm
Format: Hardcover
