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

Лекция 1

Europe/Moscow
Description

На первой лекции мы обсудим различные типы модальных операторов и их неформальную семантику. Кроме того, мы вспомним, как доказывалась теорема о сильной полноте для пропозициональной классической логики.