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

0:00:19 1. Модель Крипке 0:05:36 2. Примеры модели 0:29:28 3. Какие ещё свойства можно записать при помощи модальных формул (примеры) 1:00:01 4. Свойства, которые нельзя выразить модальными формулами Ссылки плейлист: