Прошло первое в 2022 году заседание научно-исследовательского семинара "From the Logical Point of View"

Виталий Долгоруков и Елена Попова выступили с докладом "Осведомленность в динамике: эволюционная эпистемическая логика"

Доклад был посвящен эволюционной эпистемической логике для неидельных агентов, описывающей динамику осведомленности. В докладе были рассмотрим разные виды интроспекции с имплицитным знанием, которое становится эксплицитным сразу после делиберации, которая требует минимального времени. Виталий Долгоруков представил доказательство корректности и полноты эволюционной эпистемической логики для неидеальных агентов. 

После доклада состоялась дискуссия.