No fue sino hasta 1962 en que Hintikka, escribe "Knowledge and Belief", el primer trabajo extenso en que sugiere utilizar modalidades para capturar la semántica del conocimiento en vez de utilizar las premisas aléticas con que típicamente se desarrolla la lógica modal.