Trust; Multi-agent systems; Temporal logic; Model checking; Reasoning postulates; MCMAS-T; VISPL