Non-finite axiomatizability of dynamic topological logic | Publicación