| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
Конструктивная модальная логика, похожая на логику доказуемости GL Д. С. Шамканов |
|||
|
Аннотация: В докладе будет дан обзор исследований Лео Эсакия и его коллег, посвященных интуиционистским модальным логикам, похожим на логику доказуемости Гёделя-Лёба. |
|||