Publication: Four-valued modal logic: Kripke semantics and duality
Date
2017-02
Editor
Director
Advisor
Coordinator
Commentator
Reviewer
Illustrator
Access rights
info:eu-repo/semantics/openAccess
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE Xplore
Abstract
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.
Description
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
UNESCO Categories
Keywords
Citation
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
Center
Facultades y escuelas::Facultad de Filosofía
Department
Lógica, Historia y Filosofía de la Ciencia