Satisfiability problem in interval FP-logic

Исследуется интервальная модальная логика, в которой действие модального оператора $\Diamond$ ограничено границами интервала. Кроме того, язык модальной логики расширен оператором $D (\alpha, \beta)$, истинность которого определяется качественно: он истиннен, только если число точек на отрезке $[c_i, c_{i+1}] $, в которых истинна формула $\alpha$, строго меньше числа точек этого отрезка, в которых истинна формула $\beta$. Решается проблема выполнимости формул, и как следствие, разрешимость логики.