Для предметных областей, изменяющихся во времени, плохо применимыми оказались и классические и неклассические логики. Последнее связано с тем, что в этих логиках используется статическая концепция времени, в которой моменты времени отождествляются с числами, на множестве которых задан естественный (линейный) порядок, интерпретируемый как отношение «раньше». В динамической концепции времени постулируется существование только выделенного момента времени – настоящего, однозначно разделяющего прошлое и будущее, причем прошлое считается уже не существующим, а будущее – еще не существующим. Настоящая работа посвящена временной логике, реализующей динамическую концепцию времени и сохраняющей интервальное его описание.