Лекция 7. Метод аналитических таблиц в модальной логике. Временная логика

  1. 00:16Метатеорема
  2. 12:08Аналитические таблицы для модальной системы S4
  3. 35:52Примеры (закон системы S4)
  4. 48:15Метатеоретические свойства модальных систем
  5. 53:05Временная логика
  6. 55:36Овремененные высказывания
  7. 01:03:54Временная логика в первопорядковом варианте
  8. 01:15:20Идеи Джона Эллиса МакТаггарта (1866–1925)
  9. 01:23:26Виды временных модальностей