UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Wojciech Dzik · 2003
It is shown that all extensions of S5 modal logic, both in the standard formalization and in the formalization with strict implication, as well as all varieties of monadic algebras have unitary unification.