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