Cargando...
Fecha
2017-02
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
IEEE Xplore
Citas
0 citas en 
0 citas en 
Resumen
We introduce a family of modal expansions of Belnap–Dunn four-valued logic and related systems, and interpret them in many-valued Kripke structures. Using algebraic logic techniques and topological duality for modal algebras, and generalizing the so-called twist-structure representation, we axiomatize by means of Hilbert-style calculi the least modal logic over the four-element Belnap lattice and some of its axiomatic extensions. We study the algebraic models of these systems, relating them to the algebraic semantics of classical multi-modal logic. This link allows us to prove that both local and global consequence of the least four-valued modal logic enjoy the finite model property and are therefore decidable.
Descripción
Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Journal of Logic and Computation, 27, 2017, pp. 155-199, está disponible en línea en el sitio web del editor: https://doi.org/10.1093/logcom/exv038
This is the accepted manuscript of the article. The registered version was first published in Journal of Logic and Computation, 27, 2017, pp. 155-199, is available online at the publisher's website: https://doi.org/10.1093/logcom/exv038
Categorías UNESCO
Palabras clave
Citación
Umberto Rivieccio, Achim Jung and Ramon Jansana, Four-valued modal logic: Kripke semantics and duality. Journal of Logic and Computation, 27, 2017, pp. 155-199; https://doi.org/10.1093/logcom/exv038
Centro
Facultades y escuelas::Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia