A New Perspective on Nonmonotonic Logics

Más información sobre el libro

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.