Keyword:derivational modal logic

Publications
On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces Denis I. Saveliev In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic