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

1. Предикатные теории. Выводимость формул с константами в логике и в теории.
Лемма о новой константе.
2. Теорема о дедукции для теорий. Добавление необходимости.
3. L-непротиворечивые и L-максимальные теории.
4. Свойства L-максимальных теорий. Лемма Линденбаума.
5. Малые теории. Свидетели, теории Хенкина. Экзистенциальное свойство L-максимальных теорий Хенкина.