С.О. Сперанский, "Введение в модальную логику"

Лекция 4

Europe/Moscow
Zoom

Zoom

Description

Мы познакомимся с двумя дедуктивными системами для наименьшей нормальной модальной логики K. Далее, мы изучим метод канонических моделей для нормальных модальных логик; с его помощью будет доказана сильная полнота вышеупомянутых систем для K относительно класса всех (модальных) шкал.