منطق مدرن به تیوری بازگشت، تیوری مدل، و تیوری برهان تقسیم شده است، و بطور نزدیک با کمپیوتر ساینس، و همچنان تیوری کتگوری پیوند خورده است.