Доклад Егора Баринова и Михаила Рыбакова в Новосибирске

Егор Баринов и Михаил Рыбаков выступили с докладом «Сложность аппроксимации логик и их алгоритмическая сложность: отсутствие связи» на конференции «Аналитическая философия: траектории истории и векторы развития», которая прошла 28 и 29 марта в Новосибирске.

Е. Баринов и М. Рыбаков

В конце марта в Новосибирске состоялась конференция «Аналитическая философия: траектории истории и векторы развития». На этой конференции Е. Бариновым и М. Рыбаковым были представлены новые результаты, касающиеся взаимосвязи между вычислительной сложностью проблемы разрешения логик и сложностью их аппроксимации шкалами Крипке.