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