Yadav U. Formalizing Trust: A Modal Logic Approach to Trust Management in Distributed Systems. Int. J. Artif. Intell. Agent Syst. [Internet]. 2026 Jun. 30 [cited 2026 Oct. 2];1(1). Available from: https://journals.femington.com/ijaias/article/view/795