La nueva rama emergente de la investigación en Ciencias de la Computación recibió estímulo de los sucesores de la escuela matemática de Varsovia: Kuratowski, Mazur, Mostowski, Grzegorczyk y Rasiowa. Rasiowa se dio cuenta muy temprano de que el espectro de los programas de computadora debía ser incorporado en el ámbito de la lógica matemática para poder realizar un tratamiento riguroso de la corrección del programa. Esto dio lugar al concepto de lógica algorítmica desarrollado desde la década de 1970 por Rasiowa, Salwicki, Mirkowska y sus seguidores. Junto con la lógica dinámica de Pratt, la lógica algorítmica evolucionó hacia una rama principal de investigación: la lógica de programas. A finales de la década de 1980, los lógicos de Varsovia Tiuryn y Urzyczyn categorizaron varios lógicos de programas, dependiendo de la clase de programas involucrados. Bastante inesperadamente, descubrieron que algunas preguntas abiertas persistentes sobre el poder expresivo de la lógica son equivalentes a famosos problemas abiertos en la teoría de la complejidad. Esto, junto con descubrimientos paralelos de Harel, Immerman y Vardi, contribuyó a la creación de un área importante de la ciencia de la computación teórica: complejidad descriptiva. Para ese momento, el cálculo modal fue reconocido como una especie de lógica universal de programas. A mediados de la década de 1990 se produjo un resultado histórico por Walukiewicz, quien demostró la completitud de una axiomatización natural para el cálculo propuesto por Kozen. La difícil prueba de este resultado, basada en la teoría de autómatas, abrió un camino a investigaciones posteriores. Más tarde, Bojanczyk abrió un nuevo capítulo al introducir un cuantificador de desbordamiento, que permitió expresar algunas propiedades cuantitativas de los programas. Otro tema, que vincula el pasado con el futuro, es el tema de los autómatas fundados en la teoría de conjuntos de Fraenkel-Mostowski. Los estudios sobre el intuicionismo encontraron su continuación en los estudios del isomorfismo de Curry-Howard. La idea histórica de ukasiewicz sobre la lógica de muchos valores encontró su continuación en varios enfoques sobre la incompletitud y la incertidumbre.