Presents a coherent picture of several formalisms of nonmonotonic logics. This book offers completeness and incompleteness results for many variants of preferential, distance based, and other semantics.[...]