Four-valued modal logic: Kripke semantics and duality | Publicación