Заседание №34 (7 ноября 2018 г.): научный семинар

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

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

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

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

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