La lógica moderna se divide en teoría de recursión, teoría de modelos y teoría de pruebas, y está estrechamente vinculada a la ciencia de la computación teórica, así como a la teoría de categorías.