Маркин В.И. - Неклассическая логика и логика научного познания - 5. Модальная логика. Часть 2

Нормальные модальные исчисления. Семантика возможных миров для модальных исчислений
Маркин Владимир Ильич

00:17 Повторение
05:13 Нормальные модальные исчисления
08:30 Минимальное модальное исчисление (система T(M) Фейса-фон Вригта)
22:40 Модальное исчисление Брауэра. Модальные исчисления S4 и S5 Льюиса
27:21 Семантика возможных миров для модальных исчислений
37:42 Семантика Крипке для минимального модального исчисления. Модель Крипке
01:03:55 Семантика Крипке для модального исчисления Брауэра и модальных исчислений S4 и S5 Льюиса
01:09:22 Природа возможных миров. Рудольф Карнап: описание состояния

Ссылка на плейлист Teach-In: https://teach-in.ru/course/non-classi...
Ссылка на плейлист YouTube:    • Неклассическая логика и логика научного по...  
Ссылка на плейлист VK: https://vkvideo.ru/playlist/-17644166...
Ссылка на плейлист RuTube: https://rutube.ru/plst/1210058