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