Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Some prospects for semiproducts and products of modal logics
Valentin Shehtman, Dmitry Shkatov
We consider products and semiproducts of propositional modal logics L with S5 and present new examples of product and semiproduct logics axiomatized in the minimal way and enjoying…
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…