Kripke Semantics for Modal Bilattice Logic.

Achim Jung, Umberto Rivieccio

Browse the full LICS paper archive.