El tema continuó madurando, alcanzando su forma moderna en 1963 a partir del trabajo de Kripke.