Маркин В.И. - Неклассическая логика и логика научного познания - 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 Природа возможных миров. Рудольф Карнап: описание состояния