Прошло первое в 2022 году заседание научно-исследовательского семинара "From the Logical Point of View"
Виталий Долгоруков и Елена Попова выступили с докладом "Осведомленность в динамике: эволюционная эпистемическая логика"
Доклад был посвящен эволюционной эпистемической логике для неидельных агентов, описывающей динамику осведомленности. В докладе были рассмотрим разные виды интроспекции с имплицитным знанием, которое становится эксплицитным сразу после делиберации, которая требует минимального времени. Виталий Долгоруков представил доказательство корректности и полноты эволюционной эпистемической логики для неидеальных агентов.
После доклада состоялась дискуссия.