Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
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...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2018, 2018
|
| Edition: | 1st ed. 2018 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Theory Revision and Sums
- Defeasible Inheritance Theory
- Interpolation
- Neighbourhood Semantics and Deontic Logic
- Abstract Independence
- Various Aspects of Nonmonotonic and Other Logics