Más recientemente, trabajó principalmente en semántica de los juegos, y en independence-friendly logic, conocida por sus "cuantificadores de bifurcación" los cuales Hintikka creyó más afines con nuestras intuiciones sobre cuantificadores que la lógica de primer orden convencional.