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