See the RSL Guidelines for information on how to submit an article for publication in The Review of Symbolic Logic.
Editors:
Walter Dean
- Philosophy of mathematics
- Mathematical logic
- Theoretical computer science
- History and philosophy of computation
Fernando Ferreira
- Philosophy and foundations of mathematics
- Proof theory of classical and intuitionistic systems
- Subsystems of arithmetic
- Logicism and neologicism
Salvatore Florio
- Philosophical logic
- Philosophy of language
- Philosophy of logic
- Philosophy of mathematics
Silvio Ghilardi
- Modal and non-classical logics
- Algebraic and categorical logic
- Computational logic and automated reasoning
Hans Halvorson
- Category theory
- Philosophy of science
- Axiomatic theories
- Translation and interpretation of theories
Simon Huttegger
- Probability theory
- Formal epistemology
- Game theory
- Decision theory
- Philosophy of science
Juliette Kennedy
- Philosophy of Set Theory
- Philosophy of Model Theory
- History of Logic and Foundations of Mathematics (especially Gödel)
- Set Theory
Marko Malink
- History of logic from antiquity through the 20th century
- Algebraic tradition in logic
- Philosophy of logic
Wilfried Sieg
- Proof Theory (of natural deduction calculi)
- Automated and Interactive Proof Search (in set theory)
- Theoretical Computer Science
- Philosophy of Mathematics
- History of Modern Logic and Mathematics
Sean Walsh, Coordinating Editor
- Mathematical logic
- Philosophy of mathematics
- Philosophy of logic