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 dened in terms of a new kind of modal structures. The main result is the completeness and decidability of DML extended with xpoints of guarded action...
Main Author: | |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
2001
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9762 http://www.cs.rug.nl/~grl/pub/cmn.ps |
Summary: | The dynamic modal logic DML is presented, featuring actions that change the interpretation of a propositional variable or a modality. The semantics is dened in terms of a new kind of modal structures. The main result is the completeness and decidability of DML extended with xpoints of guarded action operators. |
---|