Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода А.В. Чагров — 1992 Algebra i Logika