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