The Review of Symbolic Logic - Submissions

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

 

Editorial Staff

Editors:

Jeremy Avigad, Coordinating Editor

Proof theory
Philosophy, history, and methodolgy of mathematics
Formal verification and automated reasoning

Rosalie Iemhoff

Proof theory
Non-classical logics
Constructive theories

Carsten Lutz

Modal Logic
Applications of logic in computer science
Applications of logi in artificial intelligence

Paolo Mancosu

Philosophy and methodology of mathematics
History of logic (especially Hilbert, Bernays)
Philosophy of logic
History of philosophy of logic (especially Tarski, Carnap and Quine)
Philosophical logic           

Graham Priest

Non-classical logic
Relevant and paraconsistent logic
History of logic
Metaphysics and epistemology of logic
Logical paradoxes
Philosophy of mathematics

Ian Proops

History of philosophy of logic (especially Kant, Frege, Russell, and Wittengenstein

Alasdair Urquhart

Relevance logic, substructural logics, proof complexity
History of logic (especially Russell), algebraic logic

Richard Zach

History of logic (especially Russell, Hilbert, Bernays, Tarski and Gödel)
History of philosophy of logic (especially Carnap)
Philosophy of logic and mathematics
Philosophical logic

 

Advisory Board:

Steven Awodey
Category theory
Philosophy and methodology of mathematics
History and philosophy of logic (especially Bernays and Carnap)      

Hartry Field

Philosophy of mathematics
Philosophy of logic
Philosophical logic

Kit Fine

Philosophical logic
Philosophy of logic and mathematics

Michael Friedman

History of philosophy of logic (especially Kant, the neo-Kantians, Frege, Wittgenstein, Carnap and Quine)
Philosophy of logic and mathematics

Marcus Kracht

Philosophical Logic
Applications of logic in linguistics

John MacFarlane

Philosophy of logic
History of philosophy of logic (especially Kant and Frege)
Philosophical logic
Philosophy of mathematics

Ruth Barcan Marcus

Philosophical logic
Philosophy of logic

D. A. Martin

Philosophy of mathematics
Philosophy of logic
Philosophical logic

Lawrence Moss

Philosophical logic
Applications of logic in computer science, linguistics, artificial intelligence and other areas

Ulrike Sattler

Philosophical logic
Applications of philosophical logic to computer science and formal ontology

Colin Stirling

Philosophical logic
Applications of philosophical logic in computer science

James Tappenden

Philosophy and methodology of mathematics
Philosophy of logic
History of philosophy of logic (especially Frege)
Philosophical logic
           
Johan van Benthem

Philosophical logic
Applications of logic to natural language, computer science, game theory
Philosophy of logic
History of logic

Michiel van Lambalgen

Philosophical logic
Applications of philosophical logic to natural language and cognitive science

Dag Westerstahl

Philosophical logic
Applications of logic to natural language

Mark Wilson

Philosophy of applied mathematics
Philosophy of logic
History of philosophy of logic (especially Frege)

Crispin Wright

Philosophy of mathematics
Philosophy of logic
History of philosophy of logic (especially Frege and Wittgenstein)
Philosophical logic