A Trust Logic for the Varieties of Trust