Временная логика индуктивных фреймов с линейным временем

The polymodal decidable calculus in temporal language with four modalities is found which is complete with respect to the class of $Ind$-frames with linear time. It is proved that it is finite approximated by the class of finite $Ind$-frames with linear time.