 The logic \(\blK\) is, according to the definition, equivalential, and it can be shown that it is not finitely equivalential. The local modal logic lS4 is an example of a non-algebraizable logic that is finitely equivalential. A set of equivalence formulas for lS4 is \(\{\Box(p\leftrightarrow q)\}\).