Home›Search›Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

Duke University Press · United States

ISSN0029-4527eISSN1939-0726

SJR Q2✓ WOS SCIE✓ WOS A&HCI✓ Scopus / SJR

/ 100

Medium Risk

Score Breakdown

✓ WoS SCIE/SSCI+25

✓ Scopus Q2+18

Total43

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View the current value on the journal’s page ↗

SJR Score

0.493

H-Index

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

0.739

Total Works

2,800

Total Citations

29,258

2yr Mean Citedness

0.36

Free JIF alternative

Aims & Scope

The Notre Dame Journal of Formal Logic publishes original work in all areas of logic and the foundations of mathematics. Leveraging a strong interdisciplinary editorial board—including esteemed scholars of philosophy, mathematics, linguistics, and computer science from around the world—the journal strikes a unique balance among historical, philosophical, and mathematical perspectives. In addition to addressing philosophical and mathematical logic at a broad level, the journal delves into disciplinary subareas such as formal semantics, modal logic, constructivist logics, recursion theory/computability theory, model theory, and proof theory and provides an outlet for work addressing computational, informatic, and linguistic concerns.

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

SJR Rank

Top 50% in field

General Information

Country / RegionUnited States

Primary LanguageEnglish

1st Year Published—

FrequencyQuarterly

StatusActive

Total Publications2,800

Publisher OrgDuke University Press

Visit Journal Website

Submission Info

Publishing ModelSubscription

Peer Reviewdouble-blind

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

7/12 · 58%

✅

Do you know the journal / publisher?

Duke University Press

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

0029-4527 / 1939-0726

✅

Indexed in a trusted database?

WoS, Scopus

✅

Peer review process documented?

double-blind

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Publication & Citation Trend

Articles published

Times cited

2019

2020

2021

2022

2023

2024

2025

2026

Source: OpenAlex · Note: citations accumulate over time so older years appear higher

SJR Quartile by Discipline

Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.

LogicQ2

Subject Classification

Web of Science Categories

LogicMathematicsPhilosophy

Scopus Categories

Logic

Research Topics (OpenAlex)

Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicComputability, Logic, AI AlgorithmsLogic, programming, and type systemsAdvanced Topology and Set Theory