Symmetric Blocking

Autores
Areces, Carlos Eduardo; Orbe, Alejandro Ezequiel
Año de publicación
2015
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
We present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for the basic modal logic, and prove that they preserve soundness and completeness. We empirically evaluate these blocking mechanisms in different modal benchmarks.
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: Orbe, Alejandro Ezequiel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Blocking
Detection
Evaluation
Modal Logics
Symmetry
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/69330
Acceder
id CONICETDig_e8cccae61bc3f0885e4fc97f5e465408
oai_identifier_str oai:ri.conicet.gov.ar:11336/69330
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Symmetric BlockingAreces, Carlos EduardoOrbe, Alejandro EzequielBlockingDetectionEvaluationModal LogicsSymmetryhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for the basic modal logic, and prove that they preserve soundness and completeness. We empirically evaluate these blocking mechanisms in different modal benchmarks.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: Orbe, Alejandro Ezequiel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaElsevier Science2015-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/69330Areces, Carlos Eduardo; Orbe, Alejandro Ezequiel; Symmetric Blocking; Elsevier Science; Theoretical Computer Science; 606; 11-2015; 25-410304-3975CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0304397515005307info:eu-repo/semantics/altIdentifier/doi/10.1016/j.tcs.2015.06.020info: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-11-12T09:56:46Zoai:ri.conicet.gov.ar:11336/69330instacron: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-11-12 09:56:46.744CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Symmetric Blocking
title Symmetric Blocking
spellingShingle Symmetric Blocking
Areces, Carlos Eduardo
Blocking
Detection
Evaluation
Modal Logics
Symmetry
title_short Symmetric Blocking
title_full Symmetric Blocking
title_fullStr Symmetric Blocking
title_full_unstemmed Symmetric Blocking
title_sort Symmetric Blocking
dc.creator.none.fl_str_mv Areces, Carlos Eduardo
Orbe, Alejandro Ezequiel
author Areces, Carlos Eduardo
author_facet Areces, Carlos Eduardo
Orbe, Alejandro Ezequiel
author_role author
author2 Orbe, Alejandro Ezequiel
author2_role author
dc.subject.none.fl_str_mv Blocking
Detection
Evaluation
Modal Logics
Symmetry
topic Blocking
Detection
Evaluation
Modal Logics
Symmetry
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 present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for the basic modal logic, and prove that they preserve soundness and completeness. We empirically evaluate these blocking mechanisms in different modal benchmarks.
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: Orbe, Alejandro Ezequiel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description We present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for the basic modal logic, and prove that they preserve soundness and completeness. We empirically evaluate these blocking mechanisms in different modal benchmarks.
publishDate 2015
dc.date.none.fl_str_mv 2015-11
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/69330
Areces, Carlos Eduardo; Orbe, Alejandro Ezequiel; Symmetric Blocking; Elsevier Science; Theoretical Computer Science; 606; 11-2015; 25-41
0304-3975
CONICET Digital
CONICET
url http://hdl.handle.net/11336/69330
identifier_str_mv Areces, Carlos Eduardo; Orbe, Alejandro Ezequiel; Symmetric Blocking; Elsevier Science; Theoretical Computer Science; 606; 11-2015; 25-41
0304-3975
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0304397515005307
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.tcs.2015.06.020
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
application/pdf
dc.publisher.none.fl_str_mv Elsevier Science
publisher.none.fl_str_mv 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_ 1848598345008807936
score 13.25334

Publicaciones similares