A Logic for Reasoning about Justified Uncertain Beliefs