Formulas expressing totally nonstable truth values of formulas

Рассматривается проблема нестабильности истинностных значений формул. Исследуется временная модальная логика на предмет описания надёжности информации. Логика сама по себе порождена стандартными моделями линейного времени. Рассматриваются интервалы нестабильности истинности формул в этих моделях. Это означает, что формула перманентно и в разумно большое время меняет свою истинность с истины на ложь и наоборот. Создается специальная техника и находится алгоритм, который позволит распознавать перманентную нестабильность истинности формул.