A New Perspective on Nonmonotonic Logics
"Logics are like shadows on a wall; to understand why they dance as they do, and how they can be made to move differently, one needs to look at the mathematical structures from which they can be projected. That is a methodology that has long proven its value for classical and other forms of ded...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2016, 2016
|
| Edition: | 1st ed. 2016 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Part I - Introduction
- Part II - Background Material
- Basic Algebraic and Logical Definitions
- Defeasible Inheritance
- Reiter Defaults and Autoepistemic Logic
- Preferential Structures and Related Concepts
- Deontic Logic, Contrary-to-Duty Obligations
- Theory Revision, Theory Contraction, and Conditionals
- Neurology
- Part III - New Results
- Independence and Interpolation
- Probabilistic and Abstract Independence
- Formal Construction
- The Talmudic Kal Vachomer Rule
- Equational CTD
- Conclusion
- Index