U. Yadav, “Formalizing Trust: A Modal Logic Approach to Trust Management in Distributed Systems”, Int. J. Artif. Intell. Agent Syst., vol. 1, no. 1, Jun. 2026, doi: 10.67231/80x35n04.