A New Perspective on Nonmonotonic Logics

Part I. Introduction

1. Introduction
Dov M. Gabbay, Karl Schlechta

Part II. Background Material

2. Basic Algebraic and Logical Definitions
Dov M. Gabbay, Karl Schlechta

3. Defeasible Inheritance
Dov M. Gabbay, Karl Schlechta

4. Reiter Defaults and Autoepistemic Logic
Dov M. Gabbay, Karl Schlechta

5. Preferential Structures and Related Concepts
Dov M. Gabbay, Karl Schlechta

6. Deontic Logic, Contrary-to-Duty Obligations
Dov M. Gabbay, Karl Schlechta

7. Theory Revision, Theory Contraction and Conditionals
Dov M. Gabbay, Karl Schlechta

8. Neurology
Dov M. Gabbay, Karl Schlechta

Part III. New Results

9. Independence and Interpolation
Dov M. Gabbay, Karl Schlechta

10. Probabilistic and Abstract Independence
Dov M. Gabbay, Karl Schlechta

11. Formal Construction
Dov M. Gabbay, Karl Schlechta

12. The Talmudic Kal Vachomer Rule
Dov M. Gabbay, Karl Schlechta

13. Equational CTD
Dov M. Gabbay, Karl Schlechta

14. Conclusion
Dov M. Gabbay, Karl Schlechta

Keywords: Computer Science, Mathematical Logic and Formal Languages, Logic, Philosophy of Science, Mathematical Logic and Foundations, Artificial Intelligence (incl. Robotics)