The Journal of Symbolic Logic

Submission Guidelines

December 1, 2021

See the general description of the JSL for the types of material published in the Journal.

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 JSL 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 prior publication in a significant way. When authors submit such a paper, they are required to provide a precise reference to the prior publication and to explain how 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 any new 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.

All papers should be submitted via the JSL 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.