Место:
пр. Свободный 79, ауд. 34-08
Докладчик: Рыбаков Владимир Владмирович (кафедра алгебры и математической логики ИМФИ СФУ) - «Многозначные многомодальные логики, проблема выполнимости».
Аннотация доклада:
В докладе рассматриваются многозначные мультиозначиваемые многомодальные логики. Предлагается подход, в котором каждый агент обладает собственным отношением достижимости и означиванием пропозициональных переменных. Описываются правила для исчисления истинностных значений формул, исследуется проблема выполнимости.
Основные понятия: многозначные мультиозначиваемые многомодальные логики; многоагетные логики; выполнимость, разрешимость.