The modal logic of copy and remove

Artículo finalmente publicado en: Areces, C. E., Ditmarsch, H. van, Fervari, R. A. y Schwarzentruber, F. (2017). The modal logic of copy and remove. Information and Computation, 255 (2), 243-261. http://dx.doi.org/10.1016/j.ic.2017.01.004

Detalles Bibliográficos
Autores principales: Areces, Carlos Eduardo, Ditmarsch, Hans van, Fervari, Raúl Alberto, Schwarzentruber, François
Otros Autores: https://orcid.org/0000-0001-7845-8503
Formato: submittedVersion article
Lenguaje:Inglés
Publicado: 2024
Materias:
Modal logic
Dynamic epistemic logic
Complexity
Expressivity
Acceso en línea:http://hdl.handle.net/11086/553738
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-553738
record_format dspace
spelling I10-R141-11086-5537382024-09-20T14:56:51Z The modal logic of copy and remove Areces, Carlos Eduardo Ditmarsch, Hans van Fervari, Raúl Alberto Schwarzentruber, François https://orcid.org/0000-0001-7845-8503 https://orcid.org/0000-0003-4526-8687 https://orcid.org/0000-0003-0360-0725 https://orcid.org/0000-0002-1228-4333 Modal logic Dynamic epistemic logic Complexity Expressivity Artículo finalmente publicado en: Areces, C. E., Ditmarsch, H. van, Fervari, R. A. y Schwarzentruber, F. (2017). The modal logic of copy and remove. Information and Computation, 255 (2), 243-261. http://dx.doi.org/10.1016/j.ic.2017.01.004 info:eu-repo/semantics/submittedVersion Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: Ditmarsch, Hans van. Centre National de la Recherche Scientifique. Laboratoire Lorrain de Recherche en Informatique et ses Applications; France. Fil: Ditmarsch, Hans van. L’Université de Lorraine. Laboratoire Lorrain de Recherche en Informatique et ses Applications; France. Fil: Ditmarsch, Hans van. Institut national de recherche en sciences et technologies du numérique. Laboratoire Lorrain de Recherche en Informatique et ses Applications; France. Fil: Ditmarsch, Hans van. Institute of Mathematical Sciences; India. Fil: Fervari, Raúl Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Fervari, Raúl Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: Schwarzentruber, François. École Normale Supérieure de Rennes; France. 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 in dynamic epistemic logic decomposes in copy and remove operations, when we consider action models with Boolean pre-conditions and no post-condition. We also show that copy and remove operators with paths of length 1 can be expressed by action models with post-conditions. We investigate the expressive power of the logic with copy and remove operations, together with the complexity of the satisfiability problem of some of its syntactic fragments. info:eu-repo/semantics/submittedVersion Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: Ditmarsch, Hans van. Centre National de la Recherche Scientifique. Laboratoire Lorrain de Recherche en Informatique et ses Applications; France. Fil: Ditmarsch, Hans van. L’Université de Lorraine. Laboratoire Lorrain de Recherche en Informatique et ses Applications; France. Fil: Ditmarsch, Hans van. Institut national de recherche en sciences et technologies du numérique. Laboratoire Lorrain de Recherche en Informatique et ses Applications; France. Fil: Ditmarsch, Hans van. Institute of Mathematical Sciences; India. Fil: Fervari, Raúl Alberto. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. Fil: Fervari, Raúl Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Fil: Schwarzentruber, François. École Normale Supérieure de Rennes; France. Ciencias de la Computación 2024-09-20T14:46:11Z 2024-09-20T14:46:11Z 2017 article 0890-5401 http://hdl.handle.net/11086/553738 1090-2651 eng De la versión publicada: http://dx.doi.org/10.1016/j.ic.2017.01.004 Atribución/Reconocimiento-NoComercial-SinDerivados 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/deed.es Impreso; Electrónico y/o Digital
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Inglés
topic Modal logic
Dynamic epistemic logic
Complexity
Expressivity
spellingShingle Modal logic
Dynamic epistemic logic
Complexity
Expressivity
Areces, Carlos Eduardo
Ditmarsch, Hans van
Fervari, Raúl Alberto
Schwarzentruber, François
The modal logic of copy and remove
topic_facet Modal logic
Dynamic epistemic logic
Complexity
Expressivity
description Artículo finalmente publicado en: Areces, C. E., Ditmarsch, H. van, Fervari, R. A. y Schwarzentruber, F. (2017). The modal logic of copy and remove. Information and Computation, 255 (2), 243-261. http://dx.doi.org/10.1016/j.ic.2017.01.004
author2 https://orcid.org/0000-0001-7845-8503
author_facet https://orcid.org/0000-0001-7845-8503
Areces, Carlos Eduardo
Ditmarsch, Hans van
Fervari, Raúl Alberto
Schwarzentruber, François
format submittedVersion
article
author Areces, Carlos Eduardo
Ditmarsch, Hans van
Fervari, Raúl Alberto
Schwarzentruber, François
author_sort Areces, Carlos Eduardo
title The modal logic of copy and remove
title_short The modal logic of copy and remove
title_full The modal logic of copy and remove
title_fullStr The modal logic of copy and remove
title_full_unstemmed The modal logic of copy and remove
title_sort modal logic of copy and remove
publishDate 2024
url http://hdl.handle.net/11086/553738
work_keys_str_mv AT arecescarloseduardo themodallogicofcopyandremove
AT ditmarschhansvan themodallogicofcopyandremove
AT fervariraulalberto themodallogicofcopyandremove
AT schwarzentruberfrancois themodallogicofcopyandremove
AT arecescarloseduardo modallogicofcopyandremove
AT ditmarschhansvan modallogicofcopyandremove
AT fervariraulalberto modallogicofcopyandremove
AT schwarzentruberfrancois modallogicofcopyandremove
_version_ 1824552396944048128

Ejemplares similares