@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",
}