Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
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...
| 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:
- Preferential Structures
- Higher Preferential Structures
- Abstract Size