A non-preferential semantics of non-monotonic modal logic
We present a new semantical description of non-monotonic modal logic whose underlying (monotonic) modal logic S is characterized by a class of cluster-decomposable Kripke interpretations: it is shown that S-expansions coincide with the theories of isolated clusters of the canonical model of S.
non-monotonic modal logic canonical models kripke semantics minimal model semantics