Functional systems in the context of temporal×modal logics with indexed flows | Publicación