2026. Formalizing Trust: A Modal Logic Approach to Trust Management in Distributed Systems. International Journal of Artificial Intelligence and Agent Systems. 1, 1 (Jun. 2026).