A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics

The AGM postulates by Alchourrón, Gärdenfors, In this paper, we consider (multiple) revision of finite bases and Makinson continue to represent a cornerstone in arbitrary monotonic logics, refining and generalizing the in research related to belief change. We generalize popular approach by Katsuno and Mendelzon [12] (KM) for the approach of Katsuno and Mendelzon (KM) propositional belief base revision. KM start out from finite for characterizing AGM base revision from propositional belief bases, assigning to each a total preorder on the interpretations, logic to the setting of (multiple) base revision which expresses - intuitively speaking - a degree in arbitrary monotonic logics.