| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
|
|||
|
|
|||
|
Лекция 7. Модальные логики предикатов и их модели В. Б. Шехтман |
|||
|
Аннотация: 1. Консервативность минимального предикатного расширения пропозициональной логики. Консервативность других расширений. 2. Перевод Гёделя - Тарского интуиционистских предикатных формул в модальные. Перевод суперинтуиционистских логик в расширения QS4. 3. Суперинтуиционистские фрагменты расширений QS4. |
|||
