Journal introduction:

The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.

Frequency：4 Issues Per Year

Editorial Board
Editors-in-Chief
Michael Detlefsen
In Memoriam

Anand Pillay
Areas of Review: Mathematical Logic

Curtis Franks
Areas of Review: Philosophical Logic: Proof Theory, History of Logic, Substructural Logics

Editors
Timothy Bays
Areas of Review: Philosophy of Mathematics, Philosophy of Model Theory, Philosophy of Set Theory

Jc Beall
Areas of Review: Philosophical Logic: theory of truth, substructural logic, non-classical logic

Patricia Blanchette
Areas of Review: Philosophical Logic: Philosophy of Logic, Philosophy of Mathematics

Peter Cholak
Areas of Review: Mathematical Logic: Computability Theory

Barbara Csima
Areas of Review: Mathematical Logic: Computability Theory

Natasha Dobrinen
Areas of Review: Mathematical Logic: Set Theory, Ramsey Theory

Su Gao
Areas of Review: Mathematical Logic

Warren Goldfarb
Areas of Review: Philosophical Logic: Proof Theory, Provability Logic, Early Analytic Philosophy (Frege, Russell, Wittgenstein, Carnap)

Itay Kaplan
Areas of Review:  Mathematical Logic: Model Theory and Set Theory

Michael J. Kremer
Areas of Review: Philosophical Logic: Paradoxes, Modality, Truth, Formal Semantics, History of Logic (esp. Peirce, Frege, Russell, Wittgenstein, Carnap)

Abstracting and indexing
Arts & Humanities Citation Index


( If you see actual errors or other issues on the webpage, you can remind us through the "Contact us" link at the bottom of the page. Thanks )