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

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

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

Аннотация доклада:
В докладе рассматриваются многозначные мультиозначиваемые многомодальные логики. Предлагается подход, в котором каждый агент обладает собственным отношением достижимости и означиванием пропозициональных переменных. Описываются правила для исчисления истинностных значений формул, исследуется проблема выполнимости.

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

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