Cover Image

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /

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

Full description

Main Author: Schlechta, Karl. (Author, http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Subjects:
Mathematical logic.
Logic.
Philosophy and science.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Philosophy of Science.
Mathematical Logic and Foundations.
Artificial Intelligence.
Online Access:https://doi.org/10.1007/978-3-319-89650-2
Table of Contents:
  • Theory Revision and Sums
  • Defeasible Inheritance Theory
  • Interpolation
  • Neighbourhood Semantics and Deontic Logic
  • Abstract Independence
  • Various Aspects of Nonmonotonic and Other Logics.

Similar Items