Custom cover image
Custom cover image

Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size / by Karl Schlechta

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink BücherPublisher: Cham : Springer International Publishing, 2018Description: Online-Ressource (XXXII, 335 p. 16 illus, online resource)ISBN:
  • 9783319896533
Subject(s): Additional physical formats: 9783319896526 | 9783319896540 | Erscheint auch als: 978-3-319-89652-6 Druck-Ausgabe | Printed edition: 9783319896526 | Printed edition: 9783319896540 DDC classification:
  • 005.131
MSC: MSC: *03-02 | 03B60 | 03C30LOC classification:
  • QA8.9-QA10.3
DOI: DOI: 10.1007/978-3-319-89653-3Online resources: Summary: 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 logicSummary: Preferential Structures -- Higher Preferential Structures -- Abstract SizePPN: PPN: 1041333048Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-SEB | ZDB-2-SXCS
No physical items for this record

Reproduktion. (Springer eBook Collection. Computer Science)

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT