Tangled modal logic for topological dynamics | Publicación