2 papers
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…
math.LO2021
Neighbourhood completeness for quantified pretransitive modal logics
Andrey Kudinov
We consider quantified pretransitive Horn modal logic. It is known that such logics are complete with respect to predicate Kripke frames with expanding domains. In this paper we pr…