The modal logic of copy and remove

C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber. The modal logic of copy and remove. Information and Computation, 255:243–261, 2017.

Download

[pdf] 

Abstract

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

BibTeX

@Article{Areces2017c,
  author =       "C. Areces and H. van Ditmarsch and R. Fervari and F.
                 Schwarzentruber",
  journal =      "Information and Computation",
  title =        "The modal logic of copy and remove",
  year =         "2017",
  pages =        "243--261",
  volume =       "255",
  abstract =     "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 pre-conditions 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.",
  bibsource =    "dblp computer science bibliography, https://dblp.org",
  biburl =       "https://dblp.org/rec/journals/iandc/ArecesDFS17.bib",
  doi =          "10.1016/j.ic.2017.01.004",
  timestamp =    "Fri, 30 Nov 2018 13:26:00 +0100",
  URL =          "https://doi.org/10.1016/j.ic.2017.01.004",
}