Яворская Т.Л. - Математическая логика - 11. Модальная логика

0:00:19 1. Модальная логика (понятие) 0:07:45 2. Примеры содержательных формул 0:14:59 3. Семантика возможных миров Крипке 0:29:08 4. Теорема Ссылки плейлист: