epistemic plausibility models, together with a modal language based on two epistemic operators: a "knowledge" modality K (the standard S5, fully introspective, notion), and a 'safe belief" modality □ ("weak", non-negatively-introspective, notion, capturing a version of Lehrer's "indefeasible knowledge"). To deal with "dynamic" belief revision, we introduce action plausibility models, representing various types of "doxastic events". Action models "act" on state models via a modified update product operation: the "Action-Priority" Update. This is the natural dynamic generalization of AGM revision, giving priority to the incoming information (i.e., to "actions") over prior beliefs. We completely axiomatize this logic, and show how our update mechanism can 'simulate", in a uniform manner, many different belief-revision policies." /> A qualitative theory of dynamic interactive belief revision - Baltag Alexandru; Smets Sonja | sdvig press