Маркин В.И. - Неклассическая логика и логика научного познания - 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