NDJFL Editorial Board

The table below shows the areas of interest for each of our editorial board members. Papers submitted for publication should be sent to the Production Editor, Martha Kummerer, not to individual board members. Authors are welcome, however, to suggest potential editors/areas for their submissions.

Editors-in-chief	Areas of Interest
Michael Detlefsen	Philosophical Logic: Philosophy of Mathematics, Proof Theory
Peter Cholak	Mathematical Logic: Computability Theory

Editors	Areas of Review
Peter Aczel	Mathematical Logic: Constructive Mathematics, Foundations of Mathematics, Dependent Type Theories
G. Aldo Antonelli	Philosophical Logic: Knowledge Representation, Foundation of Mathematics, Alternative Set Theories
Jeremy Avigad	Mathematical Logic: Proof Theory
John Baldwin	Mathematical Logic: Model Theory
Patrick Blackburn	Applied Logic: Modal Logic, Logic and Natural Language, Logic and Computation
Patricia Blanchette	Philosophical Logic: Philosophy of Logic, Philosophy of Mathematics
Sam Buss	Mathematical Logic: Complexity Theory, Theories of Arithmetic, Proof Theory
Kosta Došen	Philosophical Logic: Proof Theory, Categorical Logic, Substructural Logics
Melvin Fitting	Philosophical Logic: Theory of Truth, Modal Logic, Knowledge Representation
Matthew Foreman	Mathematical Logic: Set Theory, Foundations of Mathematics
Robert Goldblatt	Mathematical Logic: Modal Logic, Algebraic Logic
Warren Goldfarb	Philosophical Logic: Proof Theory, Provability Logic, Early Analytic Philosophy (Frege, Russell, Wittgenstein, Carnap)
Joel David Hamkins	Mathematical Logic: Set Theory: Forcing and Large Cardinals
Ulrich Kohlenbach	Mathematical Logic: Proof Theory, Computability in Mathematics, Intuitionism
Jan Krajicek	Mathematical Logic: Proof Complexity, Bounded Arithmetic, Complexity Theory
Michael J. Kremer	Philosophical Logic: Paradoxes, Modality, Truth, Formal Semantics, History of Logic (esp. Peirce, Frege, Russell, Wittgenstein, Carnap)
Penelope Maddy	Philosophical Logic: Philosophy of Logic, Philosophy of Mathematics
David E. Marker	Mathematical Logic: Model Theory, Descriptive Set Theory
Timothy McCarthy	Philosophical Logic: Philosophy of Mathematics, Philosophy of Logic, and Metamathematics of Number Theory
Vann McGee	Philosophical Logic: Provability Logic, Semantical Paradoxes, Vagueness, Conditionals
Colin McLarty	Philosophical Logic: Philosophy and History of Mathematics, Foundation of Mathematics, Philosophy of Logic, Categorical Logic
Lawrence S. Moss	Applied Logic: Interactions of Logic with Computer Science, Linguistics, and other areas; also, Modal Logic
Anand Pillay	Mathematical Logic: Model Theory
Greg Restall	Philosophical Logic: Substructural Logic, Modal Logic, Constructive Logic, Philosophy of Logic
Stewart Shapiro	Philosophical Logic: Philosophy of Mathematics, Philosophy of Logic, Philosophy of Language, Epistemic Logic, Vagueness
Sergei Starchenko	Mathematical Logic: Model Theory
William W. Tait	Philosophical Logic: Proof Theory, Philosophy/History of Mathematics
Jouko Väänänen	Mathematical Logic: Model Theoretic Logics, Generalized Quantifiers, Infinitary Logic, Finite Model Theory, Set-theoretic Model Theory, Set Theory
Albert Visser	Philosophical Logic: Provability Logic, Dynamic Logic, Intuitionist Logic
Timothy Williamson	Philosophical Logic: Philosophy of Logic