The modal logic of copy and remove

Autores
Areces, Carlos Eduardo; van Ditmarsch, Hans; Fervari, Raul Alberto; Schwarzentruber, Francois
Año de publicación
2017
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina
Fil: van Ditmarsch, Hans. Université de Lorraine; Francia
Fil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina
Fil: Schwarzentruber, Francois. École Normale Supérieure de Rennes; Francia
Materia
Complexity
Dynamic Epistemic Logic
Expressivity
Modal Logic
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/76356

id CONICETDig_f08dcd076d9cc18e2e2c2bdc75f04c16
oai_identifier_str oai:ri.conicet.gov.ar:11336/76356
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling The modal logic of copy and removeAreces, Carlos Eduardovan Ditmarsch, HansFervari, Raul AlbertoSchwarzentruber, FrancoisComplexityDynamic Epistemic LogicExpressivityModal Logichttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We 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.Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: van Ditmarsch, Hans. Université de Lorraine; FranciaFil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; ArgentinaFil: Schwarzentruber, Francois. École Normale Supérieure de Rennes; FranciaAcademic Press Inc Elsevier Science2017-08info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/76356Areces, Carlos Eduardo; van Ditmarsch, Hans; Fervari, Raul Alberto; Schwarzentruber, Francois; The modal logic of copy and remove; Academic Press Inc Elsevier Science; Information and Computation; 255; 8-2017; 243-2610890-5401CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2017.01.004info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540117300056info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:57:29Zoai:ri.conicet.gov.ar:11336/76356instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:57:29.483CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv The modal logic of copy and remove
title The modal logic of copy and remove
spellingShingle The modal logic of copy and remove
Areces, Carlos Eduardo
Complexity
Dynamic Epistemic Logic
Expressivity
Modal Logic
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 The modal logic of copy and remove
dc.creator.none.fl_str_mv Areces, Carlos Eduardo
van Ditmarsch, Hans
Fervari, Raul Alberto
Schwarzentruber, Francois
author Areces, Carlos Eduardo
author_facet Areces, Carlos Eduardo
van Ditmarsch, Hans
Fervari, Raul Alberto
Schwarzentruber, Francois
author_role author
author2 van Ditmarsch, Hans
Fervari, Raul Alberto
Schwarzentruber, Francois
author2_role author
author
author
dc.subject.none.fl_str_mv Complexity
Dynamic Epistemic Logic
Expressivity
Modal Logic
topic Complexity
Dynamic Epistemic Logic
Expressivity
Modal Logic
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina
Fil: van Ditmarsch, Hans. Université de Lorraine; Francia
Fil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina
Fil: Schwarzentruber, Francois. École Normale Supérieure de Rennes; Francia
description 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.
publishDate 2017
dc.date.none.fl_str_mv 2017-08
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/76356
Areces, Carlos Eduardo; van Ditmarsch, Hans; Fervari, Raul Alberto; Schwarzentruber, Francois; The modal logic of copy and remove; Academic Press Inc Elsevier Science; Information and Computation; 255; 8-2017; 243-261
0890-5401
CONICET Digital
CONICET
url http://hdl.handle.net/11336/76356
identifier_str_mv Areces, Carlos Eduardo; van Ditmarsch, Hans; Fervari, Raul Alberto; Schwarzentruber, Francois; The modal logic of copy and remove; Academic Press Inc Elsevier Science; Information and Computation; 255; 8-2017; 243-261
0890-5401
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2017.01.004
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0890540117300056
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Academic Press Inc Elsevier Science
publisher.none.fl_str_mv Academic Press Inc Elsevier Science
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844613719567368192
score 13.070432