Topological square of logic S4.1

Anton Kashchenko; Andrey Kudinov

Topological square of logic S4.1

Logic 2026-07-14 v1

Authors: Anton Kashchenko , Andrey Kudinov

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.

Keywords

modal logic topological square S4.1 axiomatization fusion Kripke product

Cite

@article{arxiv.2607.13240,
  title  = {Topological square of logic S4.1},
  author = {Anton Kashchenko and Andrey Kudinov},
  journal= {arXiv preprint arXiv:2607.13240},
  year   = {2026}
}

Comments

30 pages, 2 figures