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

1. Следствия из теоремы дедукции в модальном и интуиционистском случае.
2. Замены свободных и связанных переменных в предикатных формулах.
3. Расширенное множество переменных: вспомогательные переменные и константы.
4. Формульные подстановки для предикатных формул. Действие формульных подстановок на формулы. Прямые и строгие подстановки.
5. Коммутирование формульных подстановок с заменами связанных переменных.