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...

Full description

Bibliographic Details
Main Author: Gerard R. Renardel De Lavalette
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Published: 2001
Subjects:
DML
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9762
http://www.cs.rug.nl/~grl/pub/cmn.ps
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 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.

Similar Items