Text this: The intuitionistic temporal logic of dynamical systems