x 1.00
Скачать видео

Лекция 12. Модальная логика. Семантика Крипке

  1. 00:19Модель Крипке
  2. 05:36Примеры модели
  3. 29:28Какие ещё свойства можно записать при помощи модальных формул (примеры)
  4. 01:00:01Свойства, которые нельзя выразить модальными формулами