| Introduction and Motivation / 1： |
| Programme / 1.1： |
| Short Overview of the Different Logics / 1.2： |
| Nonmonotonic Logics / 1.2.1： |
| Theory Revision / 1.2.2： |
| Theory Update / 1.2.3： |
| Deontic Logic / 1.2.4： |
| Counterfactual Conditionals / 1.2.5： |
| Modal Logic / 1.2.6： |
| Intuitionistic Logic / 1.2.7： |
| Inheritance Systems / 1.2.8： |
| A Summarizing Table for the Semantics / 1.2.9： |
| A Discussion of Concepts / 1.3： |
| Basic Semantic Entities, Truth Values, and Operators / 1.3.1： |
| Algebraic and Structural Semantics / 1.3.2： |
| Restricted Operators and Relations / 1.3.3： |
| Copies in Preferential Models / 1.3.4： |
| Further Remarks on Universality of Representation Proofs / 1.3.5： |
| $$$ in the Object Language? / 1.3.6： |
| Various Considerations on Abstract Semantics / 1.3.7： |
| A Comparison with Reiter Defaults / 1.3.8： |
| IBRS / 1.4： |
| Definition and Comments / 1.4.1： |
| The Power of IBRS / 1.4.2： |
| Abstract Semantics for IBRS and Its Engineering Realization / 1.4.3： |
| Basic Definitions and Results / 2： |
| Algebraic Definitions / 2.1： |
| Basic Logical Definitions / 2.2： |
| Basic Definitions and Results for Nonmonotonic Logics / 2.3： |
| Abstract Semantics by Size / 3： |
| The First-Order Setting / 3.1： |
| General Size Semantics / 3.2： |
| Introduction / 3.2.1： |
| Main Table / 3.2.2： |
| Coherent Systems / 3.2.3： |
| Size and Principal Filter Logic / 3.2.4： |
| Preferential Structures - Part I / 4： |
| Remarks on Nonmonotonic Logics and Preferential Semantics / 4.1： |
| Basic Definitions / 4.1.2： |
| Preferential Structures Without Domain Conditions / 4.2： |
| General Discussion / 4.2.1： |
| Detailed Discussion / 4.2.2： |
| Preferential Structures - Part II / 5： |
| Simplifications by Domain Conditions, Logical Properties / 5.1： |
| Smooth Structures / 5.1.1： |
| Ranked Structures / 5.1.3： |
| The Logical Properties with Definability Preservation / 5.1.4： |
| A-Ranked Structures / 5.2： |
| Representation Results for A-Ranked Structures / 5.2.1： |
| Two-Sequent Calculi / 5.3： |
| Plausibility Logic / 5.3.1： |
| A Comment on the Work by Arieli and Avron / 5.3.3： |
| Blurred Observation - Absence of Definability Preservation / 5.4： |
| General and Smooth Structures Without Definability Preservation / 5.4.1： |
| The Limit Variant / 5.4.3： |
| The Algebraic Limit / 5.5.1： |
| The Logical Limit / 5.5.3： |
| Higher Preferential Structures / 6： |
| The General Case / 6.1： |
| Discussion of the Totally Smooth Case / 6.3： |
| The Essentially Smooth Case / 6.4： |
| Translation to Logic / 6.5： |
| Deontic Logic and Hierarchical Conditionals / 7： |
| Semantics of Deontic Logic / 7.1： |
| Introductory Remarks / 7.1.1： |
| Philosophical Discussion of Obligations / 7.1.2： |
| Examination of the Various Cases / 7.1.4： |
| What Is An Obligation? / 7.1.5： |
| Conclusion / 7.1.6： |
| A Comment on Work by Aqvist / 7.2： |
| There Are (At Least) Two Solutions / 7.2.1： |
| Outline / 7.2.3： |
| Gm $$$ A Implies G $$$ A (Outline) / 7.2.4： |
| Hierarchical Conditionals / 7.3： |
| Formal Modelling and Summary of Results / 7.3.1： |
| Overview / 7.3.3： |
| Connections with Other Concepts / 7.3.4： |
| Formal Results and Representation for Hierarchical Conditionals / 7.3.5： |
| Theory Update and Theory Revision / 8： |
| Update / 8.1： |
| Hidden Dimensions / 8.1.1： |
| Introduction to Theory Revision / 8.2： |
| Booth Revision / 8.2.2： |
| Revision and Independence / 8.2.3： |
| Preferential Modelling of Defaults / 8.2.4： |
| Remarks on Independence / 8.2.5： |
| An Analysis of Defeasible Inheritance Systems / 9： |
| Terminology / 9.1： |
| Inheritance and Reactive Diagrams / 9.1.2： |
| Conceptual Analysis / 9.1.3： |
| Introduction to Nonmonotonic Inheritance / 9.2： |
| Basic Discussion / 9.2.1： |
| Directly Sceptical Split Validity Upward Chaining Off-Path Inheritance / 9.2.2： |
| Review of Other Approaches and Problems / 9.2.3： |
| Defeasible Inheritance and Reactive Diagrams / 9.3： |
| Summary of Our Algorithm / 9.3.1： |
| Compilation and Memorization / 9.3.2： |
| Executing the Algorithm / 9.3.4： |
| Signposts / 9.3.5： |
| Beyond Inheritance / 9.3.6： |
| Interpretations / 9.4： |
| Informal Comparison of Inheritance with the Systems P and R / 9.4.1： |
| Inheritance as Information Transfer / 9.4.3： |
| Inheritance as Reasoning with Prototypes / 9.4.4： |
| Detailed Translation of Inheritance to Modified Systems of Small Sets / 9.5： |
| Normality / 9.5.1： |
| Small Sets / 9.5.2： |
| Bibliography |
| Index |
| Introduction and Motivation / 1： |
| Programme / 1.1： |
| Short Overview of the Different Logics / 1.2： |
ＥＢ
