Modal logic is a branch of logic that extends classical reasoning with operators for "necessity" and "possibility." The logic S4.1 is a well-studied modal system that can be interpreted using topology, where the necessity operator corresponds to the interior of a set and the possibility operator corresponds to its closure. Researchers have long been interested in ways to combine two copies of a modal logic into a single, richer system, and there are several natural ways to do this, including the "fusion" (a relatively loose combination) and the "Kripke product" (a tighter combination using two-dimensional grid-like structures).
The "topological square" is another way to combine a logic with itself, built specifically using topological spaces in two dimensions simultaneously. For most well-known modal logics, the topological square turns out to coincide with one of the already familiar constructions, either the fusion or the Kripke product. The interesting question is whether there exists a modal logic whose topological square is genuinely different from both of those standard constructions.
The paper answers this question by working out the topological square of S4.1 in full detail. The authors identify exactly which logical axioms characterize this system, proving that S4.1's topological square is distinct from both its fusion and its Kripke product. This makes it the first known example of a modal logic whose topological square occupies its own separate place, expanding our understanding of how modal logics can be combined and what kinds of new logical systems such combinations can produce.