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