Scan barcode
365 pages • missing pub info (editions)
ISBN/UID: 9783319835938
Format: Paperback
Language: English
Publisher: Springer
Publication date: 29 June 2018
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: 9783319835938
Format: Paperback
Language: English
Publisher: Springer
Publication date: 29 June 2018
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...