RSL Editorial Staff

See the RSL Guidelines for information on how to submit an article for publication in The Review of Symbolic Logic.


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