Статья Виталия Долгорукова и Максима Гладышева
Статья Виталия Долгорукова и Максима Гладышева "Dynamic Epistemic Logic for Budget-Constrained Agents" опубликована в сборнике "Dynamic Logic. New Trends and Applications".
Доклад Андрея Кудинова на научно-теоретическом семинаре «Формальная философия»
10 февраля состоялось 75-е заседание научно-теоретического семинара «Формальная философия», на котором Андрей Кудинов выступил с докладом «Логика пространств подмножеств с публичными высказываниями».
Конкурс на позицию стажера-исследователя
Международная лаборатория логики, лингвистики и формальной философии объявляет конкурс на должность стажера-исследователя для участия в проектах лаборатории
Доклад Виталия Долгорукова «"Структуры знания": альтернативная семантика для эпистемической логики»
3 февраля на научно-исследовательском семинаре «From the Logical Point of View» Виталий Долгоруков сделал доклад «"Структуры знания": альтернативная семантика для эпистемической логики»
Доклад Михаила Смирнова на семинаре «From the Logical Point of View»
27 января состоялось очередное заседание научно-исследовательского семинара «From the Logical Point of View», на котором Михаил Смирнов сделал доклад «Семантика незнания: о некоторых аспектах ситуационной семантики и семантики событий».
Доклад Александра Запрягаева «Интерпретации в слабых арифметических теориях»
20 января состоялось 1-е в 2023 году заседание научно-исследовательского семинара «From the Logical Point of View». На семинаре Александр Запрягаев представил доклад «Интерпретации в слабых арифметических теориях».
Юбилейное заседание научно-исследовательского семинара «Формальная философия»
13 января состоялось юбилейное заседание научно-исследовательского семинара «Формальная философия», в рамках которого с докладом «Paradox and Substructurality» («Парадокс и субструктурность») выступил главный научный сотрудник МЛ ЛогЛинФФ Элиа Дзардини.
Доклад Константина Шишова в МИАН им. Стеклова
21 декабря на семинаре "Неклассические логики" состоялся доклад Константина Шишова "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте".
Поздравляем победителей конкурса НИРС
Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)
Александр Запрягаев выступил на Московском фестивале языков
Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"