ИСТИНА

• Охват: Международная
• Даты проведения: 14-19 июня 2021
• Место проведения: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Russia
• Организаторы:
  Математический институт имени В. А. Стеклова РАН
  Математический институт имени В. А. Стеклова РАН
• Число участников из МГУ: 4
• Число докладчиков: 25
• Веб-сайт: http://lp2021.mi-ras.ru/workshop.html
• Все конференции этой группы
• Описание конференции:

  Семинар проводился в составе программа Logical Perspectives 2021, организованной Математическим Институтом им. В.А. Стеклова РАН. Цель программы - представить панораму современных исследований в логике, включая ее применения в информатике и философии.

• Добавил в систему: Оноприенко Анастасия Александровна

Доклады:

• 2021 A joint logic of problems and propositions (Устный)
• Автор: Onoprienko A.A.

• 2021 Boxing modal logics (Устный)
• Автор: Шехтман В.Б.

• 2021 Exactly true and non-falsity versions of Deutsch's logic (Устный)
• Авторы: Belikov Alex, Petrukhin Yaroslav

• 2021 Infinitary action logic with exponentiation (Устный)
• Авторы: Кузнецов Степан Львович, Сперанский Станислав Олегович

• 2021 On multilattice counterparts of MNT4, S4, and S5 (Устный)
• Авторы: Grigoriev Oleg, Petrukhin Yaroslav