Global and Local Graph Modifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
Conditioning and Interpretation Shifts
Studia Logica
Games, Actions and Social Software
| Hi-index | 0.00 |
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a propositional variable ora modality. The semantics is defined both in terms of modal structures and of labelled transition systems (Kripke models). The extension µDML 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 µDML.