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