Indexed flows in temporal × modal logic with functional semantics | Publicación