Copy and remove as dynamic operators

Autores
Areces, Carlos Eduardo; Van Ditmarsch, Hans; Fervari, Raul Alberto; Maubert, Bastien; Schwarzentruber, François
Año de publicación
2021
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and respecting accessibility relations even between distinct copies; and remove (rm), which deletes paths in the model that satisfy certain intermediate conditions. We call the resulting logic ML(cp,rm). We study its computational complexity, and its relative expressivity with respect to (static) modal logics ML and ML(□−), and the dynamic epistemic Action Model Logic, AML.
Fil: Areces, Carlos Eduardo. 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; Argentina
Fil: Van Ditmarsch, Hans. Open University; Países Bajos
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; Argentina
Fil: Maubert, Bastien. Università degli Studi di Napoli Federico II; Italia
Fil: Schwarzentruber, François. Universite de Rennes I; Francia. Centre National de la Recherche Scientifique; Francia. Institut de Recherche en Informatique et Systèmes Aléatoires; Francia
Materia
COMPLEXITY
DYNAMIC EPISTEMIC LOGIC
EXPRESSIVITY
MODAL LOGIC
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-nd/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/149935
Acceder
id CONICETDig_6444351c9a3ca0766af22b1948eef5a4
oai_identifier_str oai:ri.conicet.gov.ar:11336/149935
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Copy and remove as dynamic operatorsAreces, Carlos EduardoVan Ditmarsch, HansFervari, Raul AlbertoMaubert, BastienSchwarzentruber, FrançoisCOMPLEXITYDYNAMIC EPISTEMIC LOGICEXPRESSIVITYMODAL LOGIChttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and respecting accessibility relations even between distinct copies; and remove (rm), which deletes paths in the model that satisfy certain intermediate conditions. We call the resulting logic ML(cp,rm). We study its computational complexity, and its relative expressivity with respect to (static) modal logics ML and ML(□−), and the dynamic epistemic Action Model Logic, AML.Fil: Areces, Carlos Eduardo. 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; ArgentinaFil: Van Ditmarsch, Hans. Open University; Países BajosFil: 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; ArgentinaFil: Maubert, Bastien. Università degli Studi di Napoli Federico II; ItaliaFil: Schwarzentruber, François. Universite de Rennes I; Francia. Centre National de la Recherche Scientifique; Francia. Institut de Recherche en Informatique et Systèmes Aléatoires; FranciaTaylor & Francis2021-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/149935Areces, Carlos Eduardo; Van Ditmarsch, Hans; Fervari, Raul Alberto; Maubert, Bastien; Schwarzentruber, François; Copy and remove as dynamic operators; Taylor & Francis; Journal Of Applied Non-classical Logics; 2021; 8-2021; 1-361166-3081CONICET DigitalCONICETenginfo:eu-repo/semantics/reference/url/http://hdl.handle.net/11336/76356info:eu-repo/semantics/altIdentifier/doi/10.1080/11663081.2021.1964327info:eu-repo/semantics/altIdentifier/url/https://www.tandfonline.com/doi/full/10.1080/11663081.2021.1964327info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T10:05:57Zoai:ri.conicet.gov.ar:11336/149935instacron: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-03 10:05:58.199CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Copy and remove as dynamic operators
title Copy and remove as dynamic operators
spellingShingle Copy and remove as dynamic operators
Areces, Carlos Eduardo
COMPLEXITY
DYNAMIC EPISTEMIC LOGIC
EXPRESSIVITY
MODAL LOGIC
title_short Copy and remove as dynamic operators
title_full Copy and remove as dynamic operators
title_fullStr Copy and remove as dynamic operators
title_full_unstemmed Copy and remove as dynamic operators
title_sort Copy and remove as dynamic operators
dc.creator.none.fl_str_mv Areces, Carlos Eduardo
Van Ditmarsch, Hans
Fervari, Raul Alberto
Maubert, Bastien
Schwarzentruber, François
author Areces, Carlos Eduardo
author_facet Areces, Carlos Eduardo
Van Ditmarsch, Hans
Fervari, Raul Alberto
Maubert, Bastien
Schwarzentruber, François
author_role author
author2 Van Ditmarsch, Hans
Fervari, Raul Alberto
Maubert, Bastien
Schwarzentruber, François
author2_role author
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 In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and respecting accessibility relations even between distinct copies; and remove (rm), which deletes paths in the model that satisfy certain intermediate conditions. We call the resulting logic ML(cp,rm). We study its computational complexity, and its relative expressivity with respect to (static) modal logics ML and ML(□−), and the dynamic epistemic Action Model Logic, AML.
Fil: Areces, Carlos Eduardo. 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; Argentina
Fil: Van Ditmarsch, Hans. Open University; Países Bajos
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; Argentina
Fil: Maubert, Bastien. Università degli Studi di Napoli Federico II; Italia
Fil: Schwarzentruber, François. Universite de Rennes I; Francia. Centre National de la Recherche Scientifique; Francia. Institut de Recherche en Informatique et Systèmes Aléatoires; Francia
description In this article, we present a modal logic that extends the basic modal logic ML with two dynamic operators: copy (cp), which replicates the current model, labelling each copy with a different propositional symbol and respecting accessibility relations even between distinct copies; and remove (rm), which deletes paths in the model that satisfy certain intermediate conditions. We call the resulting logic ML(cp,rm). We study its computational complexity, and its relative expressivity with respect to (static) modal logics ML and ML(□−), and the dynamic epistemic Action Model Logic, AML.
publishDate 2021
dc.date.none.fl_str_mv 2021-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/149935
Areces, Carlos Eduardo; Van Ditmarsch, Hans; Fervari, Raul Alberto; Maubert, Bastien; Schwarzentruber, François; Copy and remove as dynamic operators; Taylor & Francis; Journal Of Applied Non-classical Logics; 2021; 8-2021; 1-36
1166-3081
CONICET Digital
CONICET
url http://hdl.handle.net/11336/149935
identifier_str_mv Areces, Carlos Eduardo; Van Ditmarsch, Hans; Fervari, Raul Alberto; Maubert, Bastien; Schwarzentruber, François; Copy and remove as dynamic operators; Taylor & Francis; Journal Of Applied Non-classical Logics; 2021; 8-2021; 1-36
1166-3081
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/reference/url/http://hdl.handle.net/11336/76356
info:eu-repo/semantics/altIdentifier/doi/10.1080/11663081.2021.1964327
info:eu-repo/semantics/altIdentifier/url/https://www.tandfonline.com/doi/full/10.1080/11663081.2021.1964327
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Taylor & Francis
publisher.none.fl_str_mv Taylor & Francis
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_ 1842269936341221376
score 13.13397

Publicaciones similares