Topological square of logic S4.1

Abstract

In this paper, we find the axiomatization for the topological square of S4.1. This is the first known topological square of a modal logic that differs from both the fusion and the Kripke product. We also prove the finite model property and decidability for this logic.

arXiv comment30 pages, 2 figures