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

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