"Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления" - читать интересную книгу автора (Голованова Е. М.)