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