A New Perspective on Nonmonotonic Logics

Mehr zum Buch

The book explores advanced concepts in nonmonotonic logics, focusing on interpolation, abstract independence, and the Kal Vachomer rule from Talmudic reasoning. A key chapter delves into formal construction, merging various nonmonotonic logic ideas into a cohesive formal logic framework. This framework balances formal clarity with the intuitive benefits of Reiter defaults, defeasible inheritance, theory revision, and epistemic factors, offering a comprehensive analysis of 'natural' concepts in logic.