Formalizing Trust: A Modal Logic Approach to Trust Management in Distributed Systems. (2026). International Journal of Artificial Intelligence and Agent Systems, 1(1). https://journals.femington.com/ijaias/article/view/795