|
|
Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"
28 ноября 2024 г. 18:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
 |
|
 |
|
|
|
Лекция 12. Модальные логики предикатов и их модели
В. Б. Шехтман
|
| Видеозаписи: |
 |
MP4 |
2,855.6 Mb |
| Количество просмотров: |
| Эта страница: | 66 | | Видеофайлы: | 41 |
|
Аннотация:
1. Селективные подмодели Крипке. Квазиканонические логики.
2. Аксиомы ограниченной альтернативы, их условия общезначимости.
3. Квазиканоничность предикатных логик с аксиомами ограниченной альтернативы.
4. Порожденные подмодели, их селективность. Порожденные подшкалы Крипке, сохранение общезначимости.
5. Каноническая модель расширения модальной логики.
6. Сохранение квазиканоничности при добавлении 0-пропозициональных аксиом.
|
|
Обратная связь: