Анна Овчинникова приняла участие в четвертой летней школе по логике в Университете Цинхуа (Пекин, Китай)

С 8 по 12 июля Анна Овчинникова, стажер-исследователь МЛ ЛогЛинФФ, стала участницей четвертой летней школы по логике в Университете Цинхуа (Пекин, Китай).

Университет входит в число девяти престижных вузов КНР – “Лигу С9”, аналогичную “Лиге Плюща” в США. Школа была организована Объединённом исследовательским центром по логике в сотрудничестве с Амстердамским Университетом. Анна выступала с докладом “De re и de dicto знание в эгоцентричной логике”, в котором формализовала два указанных вида знания в двумерной семантике, предложила соответствующую аксиоматику и продемонстрировала философские приложения разработанной формализации. Также Анна проходила курсы, выполняла задания и участвовала в неформальных дискуссиях центра.