Scan barcode
365 pages • missing pub info (editions)
ISBN/UID: 9783319468150
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 14 November 2016
Description
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...
Community Reviews
Content Warnings
365 pages • missing pub info (editions)
ISBN/UID: 9783319468150
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 14 November 2016
Description
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...
Community Reviews
Content Warnings