The Journal of Symbolic Logic

Submission Guidelines

The Journal invites submissions of original scholarly work in mathematical logic and its applications. The Journal primarily publishes papers up to 30 pages in length, but longer papers will be considered.

Manuscripts are accepted for review with the understanding that the same work has not been and will not be published elsewhere, nor is presently submitted elsewhere, and that all persons listed as authors have given their approval for the submission of the paper. Authors are strongly advised to consult the ASL’s Publication Ethics Policy.

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 a previously published paper for publication in the JSL, 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 if it is being submitted to another editor.

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

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.

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

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 (

Before publication, authors will be requested to sign a transfer of copyright to the Association for Symbolic Logic so that the authors and publishers may be protected from misuse of published material. After publication, authors will receive a link to a freely accessible electronic PDF file of the published paper. Print offprints may be purchased if desired.