filmov
tv
34 Основные свойства модальных логик
Показать описание
Свойства модальных логик:
- монотонность штопора
- компактность штопора
- корректность штопора
- полнота штопора (относительно соответствующих моделей Крипке)
- теорема о дедукции без правила усиления
Вложение логики Int в логики S4 и GL.
И кое-что про арифметику.
- монотонность штопора
- компактность штопора
- корректность штопора
- полнота штопора (относительно соответствующих моделей Крипке)
- теорема о дедукции без правила усиления
Вложение логики Int в логики S4 и GL.
И кое-что про арифметику.
0:26:10
1:27:20
0:44:31
1:24:37
1:00:48