Formal Methods for Nonmonotonic and Related Logics

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

Autori

• Karl Schlechta

Parametri

• 520 pagine
• 19 ore di lettura

• Computer, IT, programmazione
• Filosofia
• Matematica
• Teoria e storia della scienza

Maggiori informazioni sul libro

Focusing on advanced logic, this textbook's second volume delves into various complex topics, including theory revision, defeasible inheritance theory, and interpolation. It also explores neighbourhood semantics, deontic logic, and abstract independence, providing a comprehensive look at nonmonotonic logics. The author connects philosophical considerations to formal constructions, making it a valuable resource for those seeking in-depth knowledge in these areas.

Lingua: Inglese

Pubblicato: 2018

(Copertina rigida)