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