Journal Information
Journal of Symbolic Logic (JSL)
http://www.aslonline.org/journals-journal.htmlPublisher: |
Association for Symbolic Logic |
ISSN: |
0022-4812 |
Viewed: |
16285 |
Tracked: |
2 |
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
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| c | Journal of Symbolic Logic | Association for Symbolic Logic | 0022-4812 | |
| b | Journal of Symbolic Computation | 1.1 | Elsevier | 0747-7171 |
| Studia Logica | 0.600 | Springer | 0039-3215 | |
| b | ACM Transactions on Computational Logic | 0.700 | ACM | 1529-3785 |
| c | Higher-Order and Symbolic Computation | Springer | 1388-3690 | |
| Archive for Mathematical Logic | 0.400 | Springer | 0933-5846 | |
| International Journal on Cybernetics & Informatics | AIRCC | 2320-8430 | ||
| International Journal of Robotics and Automation | ACTA Press | 0826-8185 | ||
| Cybernetics and Physics | IPME RAS | 2223-7038 | ||
| International Journal of Fuzzy Logic Systems | AIRCC | 1839-6283 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Journal of Symbolic Logic | Association for Symbolic Logic | |
| Journal of Symbolic Computation | 1.1 | Elsevier |
| Studia Logica | 0.600 | Springer |
| ACM Transactions on Computational Logic | 0.700 | ACM |
| Higher-Order and Symbolic Computation | Springer | |
| Archive for Mathematical Logic | 0.400 | Springer |
| International Journal on Cybernetics & Informatics | AIRCC | |
| International Journal of Robotics and Automation | ACTA Press | |
| Cybernetics and Physics | IPME RAS | |
| International Journal of Fuzzy Logic Systems | AIRCC |
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| c | SKG | International Conference on Semantics, Knowledge and Grids | 2019-07-31 | 2019-08-15 | 2019-09-17 | ||
| a | a* | a1 | CRYPTO | International Cryptology Conference | 2025-02-13 | 2025-05-03 | 2025-08-17 |
| b | b | a1 | ICRA | International Conference on Robotics and Automation | 2025-09-15 | 2026-06-01 | |
| b1 | DL | International Workshop on Description Logics | 2022-04-23 | 2022-06-08 | 2022-08-07 | ||
| b2 | ICSC | International Conference on Semantic Computing | 2020-10-12 | 2020-11-25 | 2021-01-27 | ||
| a | AiML | Advances in Modal Logic | 2018-03-11 | 2018-05-18 | 2018-08-27 | ||
| b4 | ICAL | International Conference on Automation and Logistics | 2012-04-30 | 2012-06-10 | 2012-08-15 | ||
| b1 | ROBIO | International Conference on Robotics and Biomimetics | 2018-07-31 | 2018-10-15 | 2018-12-12 | ||
| c | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| a* | ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-01-23 | 2024-04-16 | 2024-07-16 |
| Short | Full Name | Conference |
|---|---|---|
| SKG | International Conference on Semantics, Knowledge and Grids | 2019-09-17 |
| CRYPTO | International Cryptology Conference | 2025-08-17 |
| ICRA | International Conference on Robotics and Automation | 2026-06-01 |
| DL | International Workshop on Description Logics | 2022-08-07 |
| ICSC | International Conference on Semantic Computing | 2021-01-27 |
| AiML | Advances in Modal Logic | 2018-08-27 |
| ICAL | International Conference on Automation and Logistics | 2012-08-15 |
| ROBIO | International Conference on Robotics and Biomimetics | 2018-12-12 |
| CSL | Conference on Computer Science Logic | 2026-02-23 |
| ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-07-16 |