О разбиениях шкал Крипке конечной высоты

В работе доказана финитная аппроксимируемость и разрешимость одного семейства модальных логик. Бинарное отношение $R$ назовем предтранзитивным, если $R^*=\bigcup_{i\leqslant m} R^i$ для некоторого $m\geqslant 0$, где $R^*$ – транзитивное рефлексивное замыкание $R$. Под высотой шкалы $(W,R)$ будем понимать высоту предпорядка $(W,R^*)$. Построены специальные разбиения (фильтрации) предтранзитивных шкал конечной высоты, из чего следует финитная аппроксимируемость и разрешимость их модальных логик.
Библиография: 30 наименований.