@article{c9d7a002e1e649a68640a8a5236f7c02,
title = "Copy and remove as dynamic operators",
abstract = "In this article, we present a modal logic that extends the basic modal logic (Formula presented.) with two dynamic operators: copy ((Formula presented.)), which replicates the current model, labelling each copy with a different propositional symbol and respecting accessibility relations even between distinct copies; and remove ((Formula presented.)), which deletes paths in the model that satisfy certain intermediate conditions. We call the resulting logic (Formula presented.). We study its computational complexity, and its relative expressivity with respect to (static) modal logics (Formula presented.) and (Formula presented.), and the dynamic epistemic Action Model Logic, (Formula presented.).",
keywords = "complexity, dynamic epistemic logic, expressivity, Modal logic",
author = "Carlos Areces and {van Ditmarsch}, Hans and Raul Fervari and Bastien Maubert and Fran{\c c}ois Schwarzentruber",
note = "Funding Information: We would like to thank the two anonymous reviewers for their helpful comments and suggestions. C. Areces and R. Fervari are partially supported by projects ANPCyT-PICTs-2017-1130, Stic-AmSud 20-STIC-03 {\textquoteleft}DyLo-MPC{\textquoteright}, Secyt-UNC, GRFT Mincyt-Cba, and by the Laboratoire International Associ{\'e} SINFIN. Funding Information: We would like to thank the two anonymous reviewers for their helpful comments and suggestions. C. Areces and R. Fervari are partially supported by projects ANPCyT-PICTs-2017-1130, Stic-AmSud 20-STIC-03 ?DyLo-MPC?, Secyt-UNC, GRFT Mincyt-Cba, and by the Laboratoire International Associ? SINFIN. Publisher Copyright: {\textcopyright} 2021 Informa UK Limited, trading as Taylor & Francis Group.",
year = "2021",
doi = "10.1080/11663081.2021.1964327",
language = "English",
volume = "31",
pages = "181--220",
journal = "Journal of Applied Non-Classical Logics",
issn = "1166-3081",
publisher = "Taylor and Francis Inc.",
number = "3-4",
}