Заседание №31 (11 октября 2018 г.): научный семинар

Время: 
16:20
Место: 
пр. Свободный 79, ауд. 34-08

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

Аннотация доклада:
На семинаре будет разобрана статья В.В. Рыбакова 1984 г., посвященная проблеме допустимости в модальных логиках конечных слоев. Будет обсуждаться возможность применения данных техник к проблеме унификации.

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

Башмаков С. И.