Changing Modalities

The dynamic modal logic <ssf>DML</ssf> 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 µ<ssf>DML<...

Full description

Bibliographic Details
Published in:Journal of Logic and Computation
Main Author: Renardel De Lavalette, Gerard R.
Format: Text
Language:English
Published: Oxford University Press 2004
Subjects:
Articles
DML
Online Access:http://logcom.oxfordjournals.org/cgi/content/short/14/2/251
https://doi.org/10.1093/logcom/14.2.251
Description
Summary:The dynamic modal logic <ssf>DML</ssf> 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 µ<ssf>DML</ssf> 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 µ<ssf>DML</ssf>.

Similar Items