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