The modal logic of copy and remove

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

Descripción completa

Detalles Bibliográficos
Autores: Areces, Carlos Eduardo, van Ditmarsch, Hans, Fervari, Raul Alberto, Schwarzentruber, Francois
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2017
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/76356
Acceso en línea:http://hdl.handle.net/11336/76356
Access Level:acceso abierto
Palabra clave:Complexity
Dynamic Epistemic Logic
Expressivity
Modal Logic
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
id AR_f08dcd076d9cc18e2e2c2bdc75f04c16
oai_identifier_str oai:ri.conicet.gov.ar:11336/76356
network_acronym_str AR
network_name_str Argentina
repository_id_str
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écnicas2024-05-08T13:51:50Zoai: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:34982024-05-08 13:51:50.481CONICET 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
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
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
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
topic Complexity
Dynamic Epistemic Logic
Expressivity
Modal Logic
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
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
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
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_ 1799195416428806144
score 15.811543

Similares en LA Referencia