ما بعد المنطق فرع يدرس خصائص الأنظمة واللغات المنطقية نفسها بدلاً من تطبيقها؛ يهتم بما يمكن استنتاجه عن اللغات والأنظمة الرسمية ومن ثم بتصنيفها وتحليلها. تتناول الدراسة اللغات الرسمية والأنظمة الرسمية وتفسيراتها، ويتقاطع ذلك مع نظرية النموذج في تفسير الأنظمة ونظرية البرهان في دراسة الأنظمة الاستنتاجية.