Доклад Евгения Золина на объединенном семинаре "Модальная и алгебраическая логика" и "Логические методы в информатике"
29 апреля старший научный сотрудник МЛ ЛогЛинФФ Евгений Золин выступил с докладом "Модальные формулы Янкова – Файна и их применения" в рамках объединенного семинара "Модальная и алгебраическая логика" и "Логические методы в информатике" кафедры математической логики и теории алгоритмов МГУ.
Доклад Владимира Васюкова на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем"
8 апреля ведущий научный сотрудник МЛ ЛогЛинФФ Владимир Васюков выступил с докладом "Квантовая логика" на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем".
Доклад Якуба Гомулки и Адама Романа на научно-теоретическом семинаре "Формальная философия"
24 марта в рамках научно-теоретического семинара "Формальная философия" состоялся доклад Якуба Гомулки (профессор, Институт философии и социологии, Педагогический Университет, Краков) и Адама Романа (профессор, Институт компьютерных наук и вычислительной математики, Ягеллонский Университет, Краков), посвящённый функции истинности, заданной в шестом афоризме Логико-философского трактата.
Доклад Раджаба Агамова на научном семинаре "Современные проблемы математической логики"
19 февраля стажер-исследователь МЛ ЛогЛинФФ Раджаб Агамов выступил с докладом "Модели для интуиционистских нормальных модальных логик" в рамках научного семинара "Современные проблемы математической логики" в ВШЭ.
Эксперименты на стыке лингвистики и логики
Продолжаем представление победителей весеннего конкурса проектных групп. О проекте «Эксперименты на стыке лингвистики и логики» рассказывает доцент Школы лингвистики Наталья Зевахина.
Доклады Владимира Васюкова и Ирины Кириловой на конференции "HOMO LOQUENS: логика – язык – культура"
3 декабря состоялись доклады Владимира Васюкова "Постнеклассическая универсальная логика" и Ирины Кириловой "Нормативность логики и вероятности в анализе обыденных условных рассуждений" на Логико-философском семинаре имени В. Н. Брюшинкина в рамках Второй научной конференции "HOMO LOQUENS: логика – язык – культура", проходившей в БФУ им. Канта, Калининград.
Формальная философия 2020
16-18 ноября состоялась Международная конференция "Формальная философия – 2020", организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Доклад Александра Запрягаева на научно-исследовательском семинаре "Современные проблемы математики"
6 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.
Доклад Евгения Золина на "Ломоносовских чтениях"
21 октября состоялся онлайн-доклад Евгения Золина "Модальные логики с оператором транзитивного замыкания" в рамках Ежегодной научной конференции "Ломоносвские чтения-2020".