NDJFL Editorial Board

The table below shows the areas of interest for each of our editorial board members. To submit manuscripts, please visit www.editorialmanager.com/ndjfl/. Register to use Editorial Manager by entering your name and e-mail. Editorial Manager will then guide you through the submission process; there is a tutorial if you need additional assistance. You will be asked in the submission process to choose an area for your submission. Do not send papers to individual editors.

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
John Baldwin	Mathematical Logic: Model Theory
Timothy Bays	Philosophy of Mathematics Philosophy of Model Theory Philosophy of Set 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
Su Gao	Mathematical Logic:
Robert Goldblatt	Mathematical Logic: Modal Logic, Algebraic Logic
Warren Goldfarb	Philosophical Logic: Proof Theory, Provability Logic, Early Analytic Philosophy (Frege, Russell, Wittgenstein, Carnap)
Ulrich Kohlenbach	Mathematical Logic: Proof Theory, Computability in Mathematics, Intuitionism
Michael J. Kremer	Philosophical Logic: Paradoxes, Modality, Truth, Formal Semantics, History of Logic (esp. Peirce, Frege, Russell, Wittgenstein, Carnap)
Paul Larson	Mathematical Logic:
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
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
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