Changing modalities
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a propositional variable or a modality. The semantics is defined both in terms of modal structures and of labelled transition systems (Kripke models). The extension muDML with recursively defined actions aims to unify and extend dynamic epistemic logics proposed by Plaza, Gerbrandy, Baltag, Van Ditmarsch and others. The main technical result is the completeness and decidability of muDML.
modal logic modal structures epistemic logic knowledge structures dynamic logic epistemic actions action structures