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

Лекция 5

Europe/Moscow
Zoom

Zoom

Description

Мы узнаем, какие нормальные модальные логики называют «каноническими», и докажем каноничность некоторых важных расширений логики K. С помощью метода канонических моделей отсюда будет получена сильная полнота вышеупомянутых расширений относительно подходящих классов шкал.