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