Loading Events

« All Events

  • This event has passed.

Bilattice Modal Logic

March 24, 2014 @ 2:30 pm - 3:30 pm

Speaker 2
Umberto Rivieccio
(TU Delft - TPM)

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.


March 24, 2014
2:30 pm - 3:30 pm


room b3.470, building 31
Jaffalaan 5, Delft, 2628 BX Netherlands
+ Google Map