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

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


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

В. Б. Шехтман



Аннотация:
1. Консервативность минимального предикатного расширения пропозициональной логики. Консервативность других расширений.
2. Перевод Гёделя - Тарского интуиционистских предикатных формул в модальные. Перевод суперинтуиционистских логик в расширения QS4.
3. Суперинтуиционистские фрагменты расширений QS4.


© МИАН, 2024