HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Umberto Rivieccio

Publications
Four-valued modal logic: Kripke semantics and duality
Achim Jung and Umberto Rivieccio
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Priestley duality for (modal) N4-lattices
Ramon Jansana and Umberto Rivieccio
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

Belnap logic, Esakia duality, Jónsson-Tarski duality, many-valued modal logic, N4-lattices2, paraconsistent Nelson logic2, Priestley duality, twist-structures2.

Copyright © 2012-2025 easychair.org. All rights reserved.