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