- This event has passed.
Bilattice Modal Logic
March 24, 2014 @ 2:30 pm - 3:30 pm
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.