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

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

  1. 07:43Лемма 12.1 О подстановке термов.
  2. 14:29Теорема 7.4 Значения термов на изоморфизмах.
  3. 26:26Сигнатуры с равенством.
  4. 31:26Противоречивая теория.
  5. 32:50Лемма 12.3 Если теория противоречива то в ней выводится любая формула.
  6. 34:04Следствие 12.4 Если теория выполнима, то она непротиворечива. Если теория с равенством и имеет нормальную модель, тогда теория непротиворечива.
  7. 38:37Пример: Арифметика Пеано.
  8. 49:20Модальная логика. Аксиомы.
  9. 57:53Семантика S5.
  10. 01:16:32Лемма 12.6 Если A любая формула от аргумента u в модели M*, то она принимает такое же значение как формула A принимала в модели M или u.