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