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

1. Схемы аксиом вместо правила подстановки (окончание). Аксиоматизация интуиционистской логики при помощи схем аксиом.
2. Модальные логики предикатов. Выводимость, теорема о дедукции.
3. Схемы аксиом вместо правил подстановки и добавления. Аксиоматизация модальной логики $\mathsf{QK}$ при помощи схем аксиом.
4. Примеры: взаимодействие кванторов с модальностями.
5. Пропозициональный фрагмент предикатной логики. Преобразование предикатных формул в пропозициональные. Преобразование теорем и подстановочных замыканий.