RUS  ENG
Полная версия
СЕМИНАРЫ

Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
31 октября 2024 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)


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

В. Б. Шехтман



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


© МИАН, 2024