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