Logika modern kapah dados teori rekursi, teori model, miwah teori bukti, taler mapaiketan sareng ilmu komputer teoretis, taler teori kategori.
Logika modern dibagi ke dalam teorirekursi, teori model, dan teori pembuktian, dan terpaut dekat dengan ilmu komputerteoretis.