Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call