Knowledge and true belief in Hintikka's epistemic logic