The Modal Logic of Copy and Remove - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2017

The Modal Logic of Copy and Remove

Résumé

We propose a logic with the dynamic modal operators copy and remove. The copy operator replicates a given model, and the remove operator removes paths in a given model. We show that the product update by an action model in dynamic epistemic logic decomposes in copy and remove operations, when we consider action models with Boolean preconditions and no post-condition. We also show that copy and remove operators with paths of length 1 can be expressed by action models with post-conditions. We investigate the expressive power of the logic with copy and remove operations, together with the complexity of the satisfiability problem of some of its syntactic fragments.
Fichier principal
Vignette du fichier
10.1.1.719.7822.pdf (470.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02533970 , version 1 (06-04-2020)

Identifiants

Citer

Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber. The Modal Logic of Copy and Remove. Information and Computation, 2017, 255, pp.243-261. ⟨10.1016/j.ic.2017.01.004⟩. ⟨hal-02533970⟩
36 Consultations
93 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More