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
id ftciteseerx:oai:CiteSeerX.psu:10.1.1.23.9762
record_format openpolar
spelling ftciteseerx:oai:CiteSeerX.psu:10.1.1.23.9762 2023-05-15T16:01:12+02:00 Changing Modalities Gerard R. Renardel De Lavalette The Pennsylvania State University CiteSeerX Archives 2001 application/postscript http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9762 http://www.cs.rug.nl/~grl/pub/cmn.ps en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9762 http://www.cs.rug.nl/~grl/pub/cmn.ps Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.cs.rug.nl/~grl/pub/cmn.ps text 2001 ftciteseerx 2016-01-07T18:42:05Z 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. Text DML Unknown
institution Open Polar
collection Unknown
op_collection_id ftciteseerx
language English
description 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.
author2 The Pennsylvania State University CiteSeerX Archives
format Text
author Gerard R. Renardel De Lavalette
spellingShingle Gerard R. Renardel De Lavalette
Changing Modalities
author_facet Gerard R. Renardel De Lavalette
author_sort Gerard R. Renardel De Lavalette
title Changing Modalities
title_short Changing Modalities
title_full Changing Modalities
title_fullStr Changing Modalities
title_full_unstemmed Changing Modalities
title_sort changing modalities
publishDate 2001
url http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9762
http://www.cs.rug.nl/~grl/pub/cmn.ps
genre DML
genre_facet DML
op_source http://www.cs.rug.nl/~grl/pub/cmn.ps
op_relation http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9762
http://www.cs.rug.nl/~grl/pub/cmn.ps
op_rights Metadata may be used without restrictions as long as the oai identifier remains attached to it.
_version_ 1766397158556172288

Similar Items