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

1. Интуционистские аксиомы равенства. Суперинтуиционистские логики с равенством; логики вида L$^=$.
2. Mодальные аксиомы равенства. Mодальные логики с равенством; логики вида L$^=$.
3. Шкалы и модели Крипке с равенством. Теоремы корректности семантики Крипке с равенством в интуиционистском и модальном случае.
4. Нормальные шкалы Крипке с равенством. Неполнота QK$^=$ и QH$^=$ относительно нормальных шкал с равенством.
5. Полнота QK$^=$ и QH$^=$ относительно произвольных шкал с равенством.