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

  1. 00:16Метод аналитических таблиц в модальной логике (на примере S4)
  2. 41:19Темпоральная логика: введение
  3. 44:11Овремененные высказывания. Временной ряд: трактовки
  4. 01:00:26Виды временных модальностей
  5. 01:10:37Минимальная временная логика: исчисление