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

1. Интуиционистский аналог леммы Хенкина (окончание).
2. L-плейсы. Построение L-плейсов из L-непротиворечивых пар.
3. Интуиционистская каноническая модель. Основная теорема о канонической модели. Полнота QH.
4. Каноническая модель с постоянной областью для суперинтуиционистских логик с формулой CD.
5. Полнота QH+CD. Полнота QH+CD с аксиомой линейности Дамметта.