collaborators

1 paper

math.LO2026

Topological square of logic S4.1

Anton Kashchenko, Andrey Kudinov

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…