A non-preferential semantics of non-monotonic modal logic

Abstract

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