{"id":"arxiv/2607.13240","url":"https://arxiv.org/abs/2607.13240","tags":["math.LO"],"score":0,"title":"Topological square of logic S4.1","domain":"math.LO","source":"arxiv","authors":["Anton Kashchenko","Andrey Kudinov"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-14","reactions":{}}