The logic of nonmonotonicity

摘要

Shoham [14] presents a general semantic framework in which many nonmonotonic logics (the so-called “preference logics”) can be represented. We present another means of giving general semantics for preference logics using models of the conditional logic C. This has the advantage that we also provide an axiomatization for preference logics. Insofar as all nonmonotonic logics are preference logics, C is the logic of nonmonotonicity.