Publications copy and remove as dynamic operators

Copy and remove as dynamic operators

C. Areces, H. van Ditmarsch, R. Fervari, B. Maubert, and F. Schwarzentruber. Copy and remove as dynamic operators. Journal of Applied Non-Classical Logics, 31(3-4):181–220, 2021.

Download

[pdf]

Abstract

In this article we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and respecting accessibility relations even between distinct copies; and remove (rm), which deletes paths in the model that satify certain intermediate conditions. We call the resulting logic ML(cp, rm). We study its computational complexity, and its relative expressivity with respect to (static) modal logics ML and ML(âˆ’), and the dynamic epistemic Action Model Logic, AML.

BibTeX

@Article{ArecesDFMS21,
  author =       "C. Areces and H. van Ditmarsch and R. Fervari and B.
                 Maubert and F. Schwarzentruber",
  journal =      "Journal of Applied Non-Classical Logics",
  ISSN =         "1166-3081",
  abstract =     "In this article we present a modal logic that extends
                 the basic modal logic ML with two dynamic operators:
                 copy (cp), which replicates the current model,
                 labelling each copy with a different propositional
                 symbol and respecting accessibility relations even
                 between distinct copies; and remove (rm), which deletes
                 paths in the model that satify certain intermediate
                 conditions. We call the resulting logic ML(cp, rm). We
                 study its computational complexity, and its relative
                 expressivity with respect to (static) modal logics ML
                 and ML(âˆ’), and the dynamic epistemic Action Model
                 Logic, AML.",
  title =        "Copy and remove as dynamic operators",
  year =         "2021",
  number =       "3-4",
  pages =        "181--220",
  volume =       "31",
  bibsource =    "dblp computer science bibliography, https://dblp.org",
  biburl =       "https://dblp.org/rec/journals/jancl/ArecesDFMS21.bib",
  doi =          "10.1080/11663081.2021.1964327",
  timestamp =    "Sun, 15 Jan 2023 18:31:59 +0100",
  URL =          "https://doi.org/10.1080/11663081.2021.1964327",
}