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