Persona:
Rivieccio, Umberto

Foto de perfil
Dirección de correo electrónico
ORCID
0000-0003-1364-5003
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Rivieccio
Nombre de pila
Umberto
Nombre

Filtros

2014 - 20172
Restablecer filtros

Ajustes

Autor: Jansana, Ramon × Fecha de finalización: 2019 ×

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Miniatura
    Publicación
    Four-valued modal logic: Kripke semantics and duality
    (IEEE Xplore, 2017-02) Rivieccio, Umberto; Jung, Achim; Jansana, Ramon
    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.
  • Miniatura
    Publicación
    Dualities for modal N4-lattices
    (Oxford University Press, 2014-08) Jansana, Ramon; Rivieccio, Umberto
    We introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that we obtain a simple description for our topological structures, which allows us to extend the duality to other algebraic structures such as N4-lattices with monotonic modal operators, and also to provide a neighbourhood semantics for the non-normal modal logic corresponding to these algebras.