Plus d’un million de livres à portée de main !
Bookbot

Formal Methods for Nonmonotonic and Related Logics

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

En savoir plus sur le livre

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.

Achat du livre

Formal Methods for Nonmonotonic and Related Logics, Karl Schlechta

Langue
Année de publication
2018
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer