بيتقسم المنطق الحديث لنظرية العودية، ونظرية النموذج ونظرية الإثبات، وبيرتبط جداً بعلوم الكمبيوتر النظرية، وكمان بنظرية الفئات.