[logic-ml] intuitionistic temporal logic for dynamical systems