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

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.