A Tool for Reasoning about Trust and Belief. - Aaron Hunter 001; Alberto Iglesias (LPAR, 2024)