Logics to Reason Formally About Trust Computation and Manipulation