Moderne logica weert oonderverdeild in recursietheorie, modeltheorie en bewiestheorie, en is nauw verbonde mèt theoretiese computerweitesjappe en cattegorietheorie.