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