The Bulletin of Symbolic Logic

Submission Guidelines

Articles and communications should be submitted via the BSL EditFlow Management System.

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 for 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.

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

A link to a PDF file of the published version of accepted papers which can be distributed by the authors will be supplied at no charge. The ASL policy on plagiarism applies to the BSL.

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 (

The BSL publishes only original papers that have not been published previously, and are not submitted for publication elsewhere. Full versions of important papers that have previously been published in conference proceedings are eligible for publication, provided that the submitted paper extends the pre-publication in a significant way. When authors submit this type of paper for publication in the BSL, they are requested to provide a precise reference to the pre-publication and to explain the extent to which the submission differs from the conference version.

Communications will be refereed quickly and published within six months of receipt of the final versions.

All issues of the BSL are available online as PostScript files via a Table of Contents.