6 citations · 6 across the 5 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014
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…
math.LO2014★ 6 cited
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…