A Logic for Reasoning about Evidence