Лекция 5. Нормальные системы модальной логики

  1. 00:16Аксиомы системы S1
  2. 13:09Расширения S1
  3. 21:14Системы S1, S2, S3
  4. 26:42Нормальные системы модальной логики
  5. 01:03:16Доказательство в модальной логике
  6. 01:06:02Вывод из множества допущений
  7. 01:09:29Семантика исчислений в модальной логике