Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984. Часть 4.

Аннотация доклада:
На семинаре продолжится разбор работы В.В. Рыбакова 1984 г., посвященной проблеме допустимости в модальных логиках конечных слоев. На прошлом семинаре доказана Лемма о сжатии ранга любой n-порожденной подалгебры алгебры, построенной на элементах n-характеристической модели конечнослойного расширения логики S4.

Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики