Journal Information

Journal of Symbolic Logic (JSL)

Please Login to view website of journal

Publisher:
Association for Symbolic Logic
ISSN:
0022-4812
Viewed:
21086
Tracked:
2

Call For Papers

Journal of Symbolic Logic (JSL) is an academic journal published by Association for Symbolic Logic. (ISSN 0022-4812, CCF C).

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

Related Journals

CCFFull NameImpact FactorPublisherISSN
Journal of Logic, Language and Information0.700Springer0925-8531
Archive for Mathematical Logic0.400Springer0933-5846
bJournal of Symbolic Computation1.1Elsevier0747-7171
International Journal of Fuzzy Logic and Intelligent SystemsKorean Institute of Intelligent Systems1598-2645
cHigher-Order and Symbolic ComputationSpringer1388-3690
Journal of the Association of Information Systems7.0Association for Information Systems1536-9323
cKnowledge-Based Systems7.2Elsevier0950-7051
cFuture Generation Computer Systems6.1Elsevier0167-739X
cNeurocomputing6.5Elsevier0925-2312
cPattern Recognition Letters3.9Elsevier0167-8655

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
cSYNASCInternational Symposium on Symbolic and Numeric Algorithms for Scientific Computing2021-08-312021-09-302021-12-07
EXPLAINSInternational Conference on Explainable AI for Neural and Symbolic Methods2026-05-192026-07-172026-10-28
a*ISSACInternational Symposium on Symbolic and Algebraic Computation2026-01-302026-05-012026-07-13
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
caa2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2025-08-012025-10-012025-11-14
cab1ICONIPInternational Conference on Neural Information Processing2026-05-102026-07-152026-11-23
cbHPCCInternational Conference on High Performance Computing and Communications2025-04-302025-06-152025-08-13
caa1GECCOGenetic and Evolutionary Computation Conference2025-01-222025-03-192025-07-14
cba1GlobecomIEEE Global Communications Conference2026-04-012026-08-012026-12-07