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

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