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 µDML with recursively defined actions aim...

Full description

Bibliographic Details
Main Author: Renardel de Lavalette, Gerard R.
Format: Article in Journal/Newspaper
Language:English
Published: 2004
Subjects:
action structures
epistemic actions
dynamic logic
knowledge structures
epistemic logic
modal structures
modal logic
DML
Online Access:https://hdl.handle.net/11370/366a7692-167d-403d-b6a4-e479e6b202ec
https://research.rug.nl/en/publications/366a7692-167d-403d-b6a4-e479e6b202ec
https://pure.rug.nl/ws/files/2945398/2004JLogComputRenardeldeL.pdf
Description
Summary: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 µDML with recursively defined actions aims to unify and extend dynamic epistemic logics proposed by others. The main technical result is the completeness and decidability of µDML.

Similar Items