Journal Information
Journal of Symbolic Logic (JSL)
Association for Symbolic Logic

Call For Papers
The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Submissions are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience.

The Journal 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. In such cases, when authors submit a paper for publication in the JSL they are required to provide a precise reference to the pre-publication and to explain how the submission differs from the conference version.
Last updated by Dou Sun in 2013-10-03
Related Journals
CCFFull NameImpact FactorPublisherISSN
bJournal of Symbolic Computation0.876Elsevier0747-7171
Studia Logica0.342Springer0039-3215
bACM Transactions on Computational Logic ACM1529-3785
cHigher-Order and Symbolic Computation Springer1388-3690
Archival Science Springer1389-0166
International Journal on Cybernetics & Informatics AIRCC2320-8430
Journal of Bioinformatics and Computational BiologyWorld Scientific0219-7200
Journal of Decision SystemsTaylor & Francis1246-0125
International Journal of Fuzzy Logic Systems AIRCC1839-6283
aJournal of Cryptology1.021Springer0933-2790
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2020-07-08 2021-01-10
a*b3FOGAFoundations of Genetic Algorithms2012-08-152012-10-152013-01-16
ESANNEuropean Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning2019-11-182020-01-312020-04-22
cb4CIMSAInternational Conference on Computational Intelligence for Measurement Systems and Applications2012-04-152012-04-302012-07-02
b4EATISEuro American Conference on Telematics and Information Systems2014-11-182014-12-162016-02-02
Iranian-RadarIranian Conference on Radar and Surveillance Systems2019-07-222019-09-222019-11-20
AMMSInternational Conference on Applied Mathematics, Modeling and Simulation2017-10-27 2017-11-26
IoTSEInternational Conference on IoT and System Engineering2019-04-252019-04-302019-05-10
BEPInternational Conference on Biological Engineering and Pharmacy2016-11-18 2016-12-09
GETInternational Conference Game and Entertainment Technologies2020-06-182020-07-032020-07-23