Критерий допустимости правил вывода для некоторого класса $S4$-логик, не обладающих свойством ветвления

Рассматривается модальная финитно-аппроксимируемая $S4$-логика, не обладающая свойством ветвления. Несмотря на то, что критерий В. В. Рыбакова неприменим, используя его метод, удалось получить алгоритмический критерий допустимости правил вывода для данной логики.