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

1. Пропозициональные и предикатные шкалы и модели Крипке.
2. Истинность в точке модели Крипке и общезначимость на шкале Крипке.
3. Связь предикатной и пропозициональной общезначимости для пропозициональных формул.
4. Корректность пропозициональной семантики Крипке.
5. Корректность предикатной семантики Крипке для логик Q𝚲.
6. Формула Баркан: невыводимость в QK и условие общезначимости.