Изучается наименьшая S5-T-Y логика L∞. Язык этой логики получается добавлением к языку S5 связок T ('завтра') и Y ('вчера'). К аксиоматике S5 в логике L∞ добавлены аксиомы T-Y- логики (см.[2] и аксиомы: oA → TA ∧ YA, TA ∨ YA → ◊A ToA ↔ oA, YoA ↔ oA и правило подстановки. Доказывается, что точной шкалой Крипке для L∞ является счетное объединение шкал с порядковым типом Z (множества целых чисел). Используется приведение формул к совершенной дизъюнктивной нормальной форме (СДНФ).
