Topological product of modal logics with the McKinsey axiom

Andrey Kudinov

In this paper we consider the topological products of modal logics of S4.1 and S4. We prove that it is equal to the fusion of logics S4.1 and S4 plus one additional axiom. We also…