Доклад Михаила Рыбакова и Дарьи Серовой на Однодневном семинаре по математической логике (ФКН, НИУ ВШЭ)

Михаил Рыбаков и Дарья Серова выступили с докладом «Ненормальные модальные логики: странные миры и вычислительная сложность» на семинаре, который прошел 29 июня на ФКН НИУ ВШЭ. 

Михаил Рыбаков, Дарья Серова

 

29 июня 2026 года прошла традиционная конференция по логике, которую организует А. Оноприенко на факультете компьютерных наук ВШЭ. На этой конференции М. Рыбаков и Д. Серова представили новые результаты, касающиеся сложности проблемы разрешения так называемых ненормальных модальных логик, а именно, ненормальных логик, входящих в список хорошо известных систем Льюиса. 

Ссылка на страницу семинара.