A New Perspective on Nonmonotonic Logics

dc.contributor.author	Gabbay, Dov M.	en_US
dc.contributor.author	Schlechta, Karl	en_US
dc.date.accessioned	2017-07-25T03:44:55Z
dc.date.available	2017-07-25T03:44:55Z
dc.date.issued	2016	en_US
dc.identifier.isbn	978-3-319-46815-0	en_US
dc.identifier.isbn	978-3-319-46817-4	en_US
dc.identifier.other	HPU5160318	en_US
dc.identifier.uri	https://lib.hpu.edu.vn/handle/123456789/26243
dc.description.abstract	In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations. It is suitable for researchers in the area of computer science and mathematical logic.	en_US
dc.format.extent	367 p.	en_US
dc.format.mimetype	application/pdf	en_US
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.subject	Nonmonotonic Logics	en_US
dc.subject	Formal logic	en_US
dc.subject	Logic	en_US
dc.title	A New Perspective on Nonmonotonic Logics	en_US
dc.type	Book	en_US
dc.size	5,064Kb	en_US
dc.department	Sociology	en_US