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