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

• Κύριος συγγραφέας: Schlechta, Karl (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: Mathematical logic.; Logic.; Philosophy and science.; Artificial intelligence.; Mathematical Logic and Formal Languages.; Philosophy of Science.; Mathematical Logic and Foundations.; Artificial Intelligence.

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

Πίνακας περιεχομένων:

• Theory Revision and Sums
• Defeasible Inheritance Theory
• Interpolation
• Neighbourhood Semantics and Deontic Logic
• Abstract Independence
• Various Aspects of Nonmonotonic and Other Logics.