Notre Dame Journal of Formal Logic
Duke University Press · United States
✓ Indexed in the Web of Science Core Collection (SCIE · AHCI) — Clarivate publishes an official Journal Impact Factor and JCR quartile for this journal.
See the official Impact Factor & quartile on the journal’s page ↗The Impact Factor & JCR quartile are licensed by Clarivate — we link you to the official source instead of reprinting a number that can go out of date. Open metrics below: SCImago Q1. Source: Clarivate Journal Citation Reports.
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.
General Information
Submission Info
Ethics & Quality
Think.Check.Submit Compliance
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Source: OpenAlex · Each year’s green bar = citations earned by that year’s papers, counted to date — so recent years look lower simply because their papers haven’t had time to be cited yet.
SJR Quartile by Discipline
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Subject Classification
Web of Science Categories
Scopus Categories
Research Topics (OpenAlex)
Frequently asked questions about Notre Dame Journal of Formal Logic
Is Notre Dame Journal of Formal Logic a predatory journal?
PubScope has no integrity flags on record for Notre Dame Journal of Formal Logic: it is indexed in Web of Science, Scopus, and is not on DOAJ's withdrawn list. Its PubScope Trust Score is 90/100. Indexing is a transparency signal, not a guarantee — always confirm fit and policies before submitting.
What is the impact factor of Notre Dame Journal of Formal Logic?
Notre Dame Journal of Formal Logic is indexed in the Web of Science Core Collection, so Clarivate publishes an official Journal Impact Factor for it (since the 2023 Journal Citation Reports, every Core Collection journal — including Arts & Humanities and Emerging Sources titles — receives one). PubScope links to Clarivate's official source rather than reprinting the number, which can be out of date. Its open 2-year mean citedness is 0.36.
Is Notre Dame Journal of Formal Logic indexed in Scopus and Web of Science?
Notre Dame Journal of Formal Logic is indexed in Web of Science, Scopus.
What is the aims and scope of Notre Dame Journal of Formal Logic?
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/comput
You May Also Like
See all →Data updated: 2026-05-22 · Sources: SJR, DOAJ, OpenAlex, WoS, Crossref