Multiagent Dynamic Reasoning About Belief And Trust