Logics with Copy and Remove

C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber. Logics with Copy and Remove. In U. Kohlenbach, P. Barceló, and R. de Queiroz, editors, Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Lecture Notes in Computer Science, pp. 51–65, Springer, Valpara\'iso, Chile, 2014.

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 (with Boolean pre-conditions) in dynamic epistemic logic decomposes in copy and remove operations. We also show that copy and remove operators (of path of length 1) can be expressed by action models. We investigate the complexity of the satisfiability problem of syntactic fragments of the logic with copy and remove operations.

BibTeX

@InCollection{Areces2014c,
  author =       "C. Areces and H. van Ditmarsch and R. Fervari and F.
                 Schwarzentruber",
  booktitle =    "Proceedings of the 21st Workshop on Logic, Language,
                 Information and Computation (WoLLIC'14)",
  publisher =    "Springer",
  title =        "Logics with Copy and Remove",
  year =         "2014",
  address =      "Valpara{\'i}so, Chile",
  editor =       "U. Kohlenbach and P. Barcel{\'o} and R. de Queiroz",
  pages =        "51--65",
  series =       "Lecture Notes in Computer Science",
  volume =       "8652",
  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 (with Boolean pre-conditions) in dynamic
                 epistemic logic decomposes in copy and remove
                 operations. We also show that copy and remove operators
                 (of path of length 1) can be expressed by action
                 models. We investigate the complexity of the
                 satisfiability problem of syntactic fragments of the
                 logic with copy and remove operations.",
  owner =        "areces",
  timestamp =    "2014.06.10",
  ISBN =         "978-3-662-44144-2",
}