ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Рассматриваются модальные и суперинтуиционистские логики конечной глубины. Обсуждаются проблемы локальной табличности и полноты в различных семантиках.