Formal Methods for Nonmonotonic and Related Logics

Vol I: Preference and Size

  • Karl Schlechta

Table of contents

  1. Front Matter
    Pages I-XXXII
  2. Karl Schlechta
    Pages 3-231
  3. Karl Schlechta
    Pages 233-265
  4. Karl Schlechta
    Pages 267-335

About this book


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 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.


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
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89652-6
  • Online ISBN 978-3-319-89653-3
  • Buy this book on publisher's site