Overview
- Emphasis not on motivation or context but on formal methods
- Suitable for graduate students and researchers
- Supported with exercises
Buy print copy
Tax calculation will be finalised at checkout
Keywords
- Formal Methods
- Nonmonotonic Logic
- Structural Semantics
- Theory Revision
- Definability Preservation
- Theory Update
- Neighborhood Semantics
- Inheritance Systems
- Continuous Logic
About this book
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 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.
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)
Book Subtitle: Vol. I: Preference and Size / Vol. II: Theory Revision, Inheritance, and Various Abstract Properties
Authors: Karl Schlechta
Publisher: Springer Cham
Copyright Information: Springer Nature Switzerland AG 2019
Edition Number: 1
Number of Pages: LXX, 818
Number of Illustrations: 81 b/w illustrations