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