Now, if, in the notation of the theorem, we start with \(T\)  as the powerset functor, it is well known that \(L\)  is Kripke's normal modal logic and [1]} shows that \(L^{\prime }\)  is Dunn's positive modal logic. It follows from Theorem REF , that the latter is indeed the positivication of the former.
