A sound and complete axiomatization for Dynamic Topological Logic | Publicación