On Belnapian modal algebras: representations, homomorphisms, congruences, and so on

摘要

We obtain a bunch of principal results on Belnapian modal algebras (henceforth called BK-lattices) these results may serve as a semantical basis for further investigation of the lattice of extensions of Belnapian modal logic (denoted by BK here).