Copy and remove as dynamic operators

Carlos Areces, Hans van Ditmarsch, Raul Fervari*, Bastien Maubert, François Schwarzentruber

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

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.).

Original languageEnglish
Pages (from-to)181-220
Number of pages40
JournalJournal of Applied Non-Classical Logics
Volume31
Issue number3-4
DOIs
Publication statusPublished - 2021

Keywords

  • complexity
  • dynamic epistemic logic
  • expressivity
  • Modal logic

Fingerprint

Dive into the research topics of 'Copy and remove as dynamic operators'. Together they form a unique fingerprint.

Cite this