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.