Publicación:
Four-valued modal logic: Kripke semantics and duality

Vista sencilla de ítem
dc.contributor.authorRivieccio, Umberto
dc.contributor.authorJung, Achim
dc.contributor.authorJansana, Ramon
dc.date.accessioned2024-12-02T13:06:18Z
dc.date.available2024-12-02T13:06:18Z
dc.date.issued2017-02
dc.descriptionEste 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
dc.description.abstractWe 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.en
dc.description.versionversión final
dc.identifier.citationUmberto 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
dc.identifier.doihttps://doi.org/10.1093/logcom/exv038
dc.identifier.issn0955-792X; e-ISSN:1465-363X
dc.identifier.urihttps://hdl.handle.net/20.500.14468/24642
dc.journal.issue1
dc.journal.titleJournal of Logic and Computation
dc.journal.volume7
dc.language.isoen
dc.page.final159
dc.page.initial155
dc.publisherIEEE Xplore
dc.relation.centerFacultades y escuelas::Facultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject11 Lógica
dc.titleFour-valued modal logic: Kripke semantics and dualityen
dc.typeartículoes
dc.typejournal articleen
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_FourValued.pdf
Tamaño:
478.02 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Artículos y papers