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
id ftunigroningenpu:oai:pure.rug.nl:publications/366a7692-167d-403d-b6a4-e479e6b202ec
record_format openpolar
spelling ftunigroningenpu:oai:pure.rug.nl:publications/366a7692-167d-403d-b6a4-e479e6b202ec 2024-06-02T08:05:48+00:00 Changing modalities Renardel de Lavalette, Gerard R. 2004-04 application/pdf 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 eng eng https://research.rug.nl/en/publications/366a7692-167d-403d-b6a4-e479e6b202ec info:eu-repo/semantics/openAccess Renardel de Lavalette , G R 2004 , ' Changing modalities ' , Journal of Logic and Computation , vol. 14 , no. 2 , pp. 251-275 . action structures epistemic actions dynamic logic knowledge structures epistemic logic modal structures modal logic article 2004 ftunigroningenpu 2024-05-07T18:04:03Z 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. Article in Journal/Newspaper DML University of Groningen research database
institution Open Polar
collection University of Groningen research database
op_collection_id ftunigroningenpu
language English
topic action structures
epistemic actions
dynamic logic
knowledge structures
epistemic logic
modal structures
modal logic
spellingShingle action structures
epistemic actions
dynamic logic
knowledge structures
epistemic logic
modal structures
modal logic
Renardel de Lavalette, Gerard R.
Changing modalities
topic_facet action structures
epistemic actions
dynamic logic
knowledge structures
epistemic logic
modal structures
modal logic
description 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.
format Article in Journal/Newspaper
author Renardel de Lavalette, Gerard R.
author_facet Renardel de Lavalette, Gerard R.
author_sort Renardel de Lavalette, Gerard R.
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 2004
url 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
genre DML
genre_facet DML
op_source Renardel de Lavalette , G R 2004 , ' Changing modalities ' , Journal of Logic and Computation , vol. 14 , no. 2 , pp. 251-275 .
op_relation https://research.rug.nl/en/publications/366a7692-167d-403d-b6a4-e479e6b202ec
op_rights info:eu-repo/semantics/openAccess
_version_ 1800750680823037952

Similar Items