Состоялся ноябрьский и декабрьский цикл семинаров "From the Logical Point of View"

Сотрудники лаборатории и приглашенные участники прочитали серию докладов на научно-исследовательском семинаре "From the Logical Point of View".

Денис Федянин выступил с докладом "Проблемы агрегирования экспертных мнений", который был посвящен обзору классических проблем агрегирования мнений манипулирующих экспертов, экспертов невысокой квалификации, а также искренних высококвалифицированных экспертов.

Даниил Рогозин прочитал доклад "A survey of relation algebras" в двух частях. Видеозапись доклада доступна по ссылке. 

Цикл семинаров 2021 года завершился докладом Даниила Хайтовича "Исчисление секвенций с лейблами для геометрически аксиоматизируемых нормальных модальных логик". В своем докладе Даниил рассказал про несколько вариантов нетрадиционных исчислений секвенций, адаптированных для модальной логики, в частности, про исчисление G3K, соответствующее минимальной нормальной модальной логике К.