Башмаков Степан Игоревич (кафедра алгебры и математической логики ИМФИ СФУ) реферирует статью:
Рыбаков В.В. - «Разрешимость проблемы допустимости в конечнослойных модальных логиках», 1984. Часть 2.
Аннотация доклада:
На семинаре продолжится разбор работы В.В. Рыбакова 1984 г., посвященной проблеме допустимости в модальных логиках конечных слоев. На прошлом семинаре завершено построение n-характеристической модели.
Основные понятия: правила вывода, допустимость, разрешимость, конечнослойные модальные логики
© 2024 Институт математики
и фундаментальной информатики СФУ
+7 (391) 206-21-48 math@sfu-kras.ru