1. Artemov, S., Davoren, J., Nerode, A.: Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05, Cornell University, June 1997 (available at http://www.cs.gc.cuny.edu// sartemov/) (1997)
2. Davoren, J.: Modal Logics for Continuous Dynamics. PhD Thesis, Cornell University (1998)
3. Goldblatt R. (1992) Logics of Time and Computation. 2nd edn. Center for the Study of Language and Information Lecture Notes No. 7. Stanford University Press, Stanford
4. Konev, B., Kontchakov, R., Tishovsky, D., Wolter, F., Zakharyaschev, M.: The undecidability of dynamic topological logics. manuscript (available at http://www.dcs.kcl.ac.uk/staff/mz/) (2004)
5. Kremer P., Mints G. (2004) Dynamic topological logic. Ann. Pure Appl. Logic 131, 133–158