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

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


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

В. Б. Шехтман



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


© МИАН, 2024