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