Лекция 11. Модальные логики предикатов и их модели

1. Добавление свидетелей. Расширение малой L-непротиворечивой теории до малой L-непротиворечивой теории Хенкина.
2. L-плейсы. Каноническая модель Крипке для модальной логики. Лемма о потомках L-плейсов.
3. Основная теорема о канонической модели.
4. Полнота по Крипке. Канонические логики.
5. Примеры канонических логик.
6. Примеры неканонических логик.