|
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
16 октября 2018 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН
|
 |
|
 |
|
|
|
О полноте модальных предикатных логик в семантике Крипке
В. Б. Шехтман
Институт проблем передачи информации РАН
|
| Количество просмотров: |
| Эта страница: | 152 |
|
Аннотация:
Для модальных логик предикатов вопрос о полноте в семантике Крипке
оказывается достаточно трудным. Как правило, эти логики неполны, но
в некоторых случаях удается доказать полноту, применяя нетривиальные
методы. В докладе будет дан обзор результатов в данной области, в
том числе совсем недавних.
|
|
Обратная связь: