x 1.00
Лекция 13. Модальная логика
- 04:20Теорема 13.1 Эквивалентность.
- 25:15Лемма 13.2 Правила монотонности импликаций.
- 34:16Модальные формулы глубины 1.
- 37:23Лемма 13.3 О записи формулы глубины 1.
- 50:24Лемма 13.4 О существовании конечного числа попарно не эквивалентных формул длины 1.
- 53:37Лемма 13.5 Любая формула эквивалентна формуле длины 1. Лемма 13.6. О существовании конечного числа попарно не эквивалентных формул от n переменных.
- 01:04:17Лемма 13.7 Если теория Г непротиворечива то существует максимальная теория которая содержит Г.
- 01:08:30Лемма 13.8 Существует конечное числа максимальных множеств. Лемма 13.9 Свойства максимальных множеств.