ИСТИНА

• Охват: Международная
• Даты проведения: 26-29 сентября 2022
• Место проведения: Dubrovnik, Croatia
• Организатор:
  IUC-Inter University Center Dubrovnik
• Веб-сайт: http://formals.ufzg.hr/index.php/workshop/
• Добавил в систему: Петрухин Ярослав Игоревич

Доклады:

• 2022 Cut-free hypersequent calculus for a non-contingency version of S5 (Устный)
• Автор: Petrukhin Yaroslav