Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Разрешимость и сложность в модальной логике
Введение в модальную логику


Что: Лекция
Когда: Воскресенье, 20 октября 2019, 15:30–17:00
Где:

Описание

  • Финитная аппроксимируемость и конечная аксиоматизируемость
  • Теорема Харропа
  • Пример: доказательство разрешимости логики ${\bf S}4$ через доказательство ее фининтной аппроксимируемости
  • $\operatorname{co-NP}$-полнота логики ${\bf S}5$ и $\operatorname{PSPACE}$-полнота логики ${\bf S}4$