Artículo

Symmetric Blocking

Areces, Carlos EduardoIcon ; Orbe, Alejandro EzequielIcon
Fecha de publicación: 11/2015
Editorial: Elsevier Science
Revista: Theoretical Computer Science
ISSN: 0304-3975
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: Blocking , Detection , Evaluation , Modal Logics , Symmetry
 
Archivos asociados
Thumbnail
 
Tamaño: 614.6Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/69330
URL: http://www.sciencedirect.com/science/article/pii/S0304397515005307
DOI: https://doi.org/10.1016/j.tcs.2015.06.020
Colecciones
Articulos(CCT - CORDOBA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - CORDOBA
Citación
Areces, Carlos Eduardo; Orbe, Alejandro Ezequiel; Symmetric Blocking; Elsevier Science; Theoretical Computer Science; 606; 11-2015; 25-41
Compartir
Altmétricas