The Review of Symbolic Logic

Submission Guidelines

All papers should be submitted via the RSL EditFlow Management System and should follow the specific guidelines indicated there.

The RSL publishes only original papers that have not been published previously, and are not submitted for publication elsewhere. The ASL Policy on Plagiarism applies to the RSL.

Authors who prefer blind refereeing are invited to prepare their papers accordingly and choose this option upon submission. The managing editor will assign an editor to your article and return a first verdict within three months of submission.

Note that abstracts are now required for final versions of all papers. Key words and AMS classification numbers (MSC 2020) are strongly recommended.

The preferred format for submissions is a PDF file. Other standard formats may be used at the submission stage (ps, dvi, word) if it is not possible to convert them to a PDF. After acceptance, authors may be asked to provide a Latex source file, preferably using the ASL document class (asl.cls) and BibTeX style (asl.bst) which can be found at the Author Resources Page. More information about format and style preferences can be found at the Cambridge University Press site for the RSL.

If you experience technical difficulties with the journal management system, please contact the technical help resources at EditFlow. More global or abstract problems can be sent to Richard Shore (

After publication, authors will receive a link to a freely accessible electronic PDF file of the published paper.