6 citations · 6 across the 5 of their papers we have counts for
6 papers
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…
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…
On neighborhood product of some Horn axiomatizable logics
Andrey Kudinov
We consider modal logics of products of neighborhood frames. We define n-product of modal logics as the logic of all products of neighborhood frames of corresponding logics and fin…
On partitioning Kripke frames of finite height
Andrey Kudinov, Ilya Shapirovsky
The paper proves finite model property and decidability for a family of modal logics. A binary relation is called pretransitive, if for some ,…
Derivational modal logics with the difference modality
Andrey Kudinov, Valentin Shehtman
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove c…
Modal logic of some products of neighborhood frames
Andrey Kudinov
We consider modal logics of products of neighborhood frames and prove that for any pair and of logics from set modal logic of products of -neighborho…