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