[kisoron-ml] intuitionistic temporal logic for dynamical systems