| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
|
|||
|
|
|||
|
Лекция 9. Модальные логики предикатов и их модели В. Б. Шехтман |
|||
|
Аннотация: 1. Интуиционистские шкалы и модели Крипке. 2. Интуиционистская истинность и общезначимость. 3. Связь интуиционистской и модальной истинности (общезначимости). 4. Корректность предикатной семантики Крипке для суперинтуиционистских логик Q𝚲. 5. Интуиционистская формула постоянных областей (CD). |
|||
