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