Copy and remove as dynamic operators

Journal of Applied Non-Classical Logics 31 (3-4):181-220 (2021)
  Copy   BIBTEX

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,074

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. London, England: College Publications. pp. 239-260.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.
Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4):527-560.

Analytics

Added to PP
2021-08-23

Downloads
58 (#375,810)

6 months
17 (#183,371)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.

View all 16 references / Add more references