«Чумазые дети» и другие классические задачи динамической эпистемической логики: доклад Виталия Долгорукова
В начале доклада были введены и объяснены на примерах базовые понятия динамической эпистемической логики и ее семантики: операторы знания и полагания, их логические свойства, связь этих свойств с отношением достижимости на множестве возможных миров. Особое внимание было уделено понятию "публичного объявления" и связанному с ним оператору информационного обновления.
На примере классических задач динамической эпистемической логики (задачи о «чумазых детях», «рассуждающих мудрецах», «дне рождения Шерил» и др.) были продемонстрированы возможности применения аппарата динамической эпистемической логики.
В последней части доклада Виталий Долгоруков уделил внимание перспективам использования динамической эпистемической логики для решения логико-семантических парадоксов (парадокс Мура, парадокс Фитча, парадокс неожиданной казни и др.).