Modal weak Kleene logics: algebraic semantics and Jónsson-Tarski representation

Abstract

In this paper we continue the work started in [Bonzio & Zamperlin 2025] by investigating the algebraic semantics for modal external weak Kleene logics. In order to do so we study the global modal logics associated with the three-valued Kripke models introduced in the previous article, showing how these systems are algebraizable. We proceed by defining their algebraic counterparts, obtaining the classes of modal Bochvar and modal Halldén algebras, whose structure theory we investigate via Płonka sum decomposition. Of particular interested is the interaction of the modal operator with the homorphisms of the Płonka decomposition. These results allow us to prove representation theorems for these expanded modal algebras in the style of the Jónsson-Tarski representation for Boolean algebras with operators. As a consequence, we also obtain algebraic semnatics for the local modal logics from which the work originated.