Лекция 6. Семантика Крипке

  1. 00:16Описание состояний
  2. 10:57Семантика Крипке (семантика возможных миров)
  3. 22:42Модельная структура
  4. 27:07Условия истинности и ложности для формул
  5. 51:49Действительный мир
  6. 54:27Следование
  7. 01:19:29Теорема