1. S. Artemov, J. Davoren, A. Nerode, 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/
2. J. Davoren, Modal logics for continuous dynamics, Ph.D. Thesis, Cornell University, 1998
3. Many-Dimensional Modal Logics: Theory and Applications;Gabbay,2003
4. An elementary proof of the completeness of PDL;Kozen;Theoretical Computer Science,1981
5. Dynamic topological logic;Kremer;Annals of Pure and Applied Logic,2005