مجلة المنطق الآلي مجلة علمية دورية متخصصة في المنطق الآلي نشرًا للأبحاث حول التحقق الميكانيكي للنظريات في المنطق الكلاسيكي وغير الكلاسيكي، تأسست عام ١٩٨٣ على يد لاري ووس الذي تولى تحريرها حتى ١٩٩٢؛ كانت تصدر عن سبرنجر وتولى توبياس نيبكو رئاسة التحرير منذ ٢٠١٠، وسجلت معامل تأثير ٠.٧١٤ في ٢٠١١ وكانت مفهرسة في قواعد بيانات علمية متعددة.