Advertisement

Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

  • Karl Schlechta

Table of contents

  1. Front Matter
    Pages I-XXXVIII
  2. Karl Schlechta
    Pages 339-433
  3. Karl Schlechta
    Pages 435-534
  4. Karl Schlechta
    Pages 535-610
  5. Karl Schlechta
    Pages 611-670
  6. Karl Schlechta
    Pages 671-704
  7. Back Matter
    Pages 761-817

About this book

Introduction

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 revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.

In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Keywords

Formal Methods Nonmonotonic Logic Structural Semantics Theory Revision Definability Preservation Theory Update Neighborhood Semantics Systems Continuous Logic

Authors and affiliations

  • Karl Schlechta
    • 1
  1. 1.CNRS, LIF UMR 7279, Aix-Marseille UniversitéMarseilleFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-89650-2
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89649-6
  • Online ISBN 978-3-319-89650-2
  • Buy this book on publisher's site