ИСТИНА

• Охват: Международная
• Даты проведения: 19-24 июля 2021
• Место проведения: Познань (онлайн), Poland
• Организаторы:
  Adam Mickiewicz University in Poznań
  Association for Symbolic Logic
• Веб-сайт: https://lc2021.pl/
• Все конференции этой группы
• Добавил в систему: Петрухин Ярослав Игоревич

Доклады:

• 2021 Cut-free proof systems for non-standard modal logics based on S5 (Устный)
• Автор: Petrukhin Yaroslav