Epistemic Logic of Likelihood and Belief