Dynamic topological logic