Speaker 2
Umberto Rivieccio
(TU Delft - TPM)

Abstract
We employ algebraic semantics and topological duality to set up a Kripke semantics for a modal expansion of Arieli and Avron’s bilattice logic, itself based on Belnap’s four-valued logic. We obtain soundness and completeness of a Hilbert-style derivation system for this logic with respect to four-valued Kripke frames, the standard notion of model in this setting. Both local and global consequence on the models are covered.