October 5, 2023
See the general description of the BSL for the types of material published in the Bulletin.
Each listed author of a submission to the BSL must be an identi
fiable human being. In particular, anonymous authorship is not permitted.
Pseudonyms are permitted as long as the editors receive full and accurate information about the name and contact data for the author. In light of these requirements, no Arti ficial Intelligence (AI) tool can be listed as an author of any submission. However, any use of such tools in the research for, or the preparation of, the submission should be in compliance with the general guidelines mentioned above and must be fully acknowledged and described to both the editors and readers where relevant in the submission and in a general way in the Acknowledgements section of the paper. Similarly, the use of other general aids, human or machine, in translation, writing or editing should be acknowledged in the Acknowledgements section of the submission. This last requirement does not apply to standard word processing or translation programs.
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. Moreover, each listed author takes responsibility for its content and its compliance with the general guidelines for submissions to the BSL including expectations for proper citations, copyright rules and avoidance of conflicts or interest, defamation, bias, harassment or plagiarism.
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 firstname.lastname@example.org.
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.