| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
|
|||
|
|
|||
|
Лекция 14. Модальные логики предикатов и их модели В. Б. Шехтман |
|||
|
Аннотация: 1. Интуиционистский аналог леммы Хенкина (окончание). 2. L-плейсы. Построение L-плейсов из L-непротиворечивых пар. 3. Интуиционистская каноническая модель. Основная теорема о канонической модели. Полнота QH. 4. Каноническая модель с постоянной областью для суперинтуиционистских логик с формулой CD. 5. Полнота QH+CD. Полнота QH+CD с аксиомой линейности Дамметта. |
|||
