Hintikka es reconocido como el fundador de la lógica epistémica formal y de la semántica del juego para la lógica.