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

Лекция 11. Модальная логика

  1. 00:19Модальная логика
  2. 07:45Примеры содержательных формул
  3. 14:59Семантика возможных миров Крипке
  4. 29:08Теорема