Intuitionistic logic enjoys a myriad of interpretations based on computation, information or topology, making it a natural framework to reason about dynamic processes in which these phenomena play a crucial role. Yet there is a large gap to be filled regarding our understanding of the computational behaviour of intuitionistic temporal logics. The aim of this project is to cement our understanding of intuitionistic temporal logics by developing their model theory based on dynamic topological systems, and their proof theory based on prominent paradigms such as Gentzen-style calculi as well as cyclic proofs