An epistemic logic for becoming informed