Philip Kremer Grigori Mints Dynamic Topological Logic. 565-606 2007 Handbook of Spatial Logics http://dx.doi.org/10.1007/978-1-4020-5587-4_10 reference/spatial/2007 db/reference/spatial/spatial2007.html#KremerM07