The Bulletin of Symbolic Logic

Submission Guidelines

December 1, 2021

See the general description of the BSL for the types of material published in the Bulletin.

Manuscripts are accepted for review with the understanding that all persons listed as authors have given their approval for the submission of the paper, and that the same work (1) has not been published elsewhere; (2) is not
presently submitted or accepted for publication elsewhere; and (3) will not be submitted elsewhere unless the manuscript is either withdrawn from or rejected by the BSL first.

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 required to provide a precise reference to the pre-publication and to explain the extent to which the submission differs from the conference version. If a paper has been previously rejected by one of the editors, this fact must be disclosed to the editor if it, or a revised version, is being submitted to another editor.

In addition, authors should be aware of, and abide by, the Association’s general publication ethics policies.

Articles and communications should be submitted via the BSL EditFlow Management System. Authors should follow the specific procedures indicated there. As of January 1, 2023 only papers in English will be considered for publication.

All submissions must be PDF documents. Color is not allowed.

Note that abstracts are now required for final versions of all papers. AMS classification numbers (MSC 2020) and keywords are also required. If appropriate, ACM CCS designators are strongly recommended. So too are ORCID identifiers for authors.

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 the publisher, Richard Shore at

Authors retain copyright in published articles but before publication they will be required to sign a license to publish agreement with the Association for Symbolic Logic. The Journal is now a hybrid publication and so there will be a choice of the type of license. All publications are eligible for the science journal version of CUP’s Green Open Access. Gold Open access versions are available for a fee (APC) or in accordance with (read and) publish agreements between sponsoring institutions and Cambridge University Press. Further details will be supplied upon
acceptance. After publication, authors will receive a link to a freely accessible electronic PDF file of the published paper.