| # | 期刊 | 影响因子 | 分区 |
|---|---|---|---|
| 1 | ACM Transactions on Computational Logic | 1.1 | JCR Q1 |
| 2 | Journal of Logical and Algebraic Methods in Programming | 1 | JCR Q1 |
| 3 | ANNALS OF PURE AND APPLIED LOGIC | 0.8 | JCR Q2 |
| 4 | JOURNAL OF SYMBOLIC LOGIC | 0.6 | JCR Q3 |
| 5 | ARCHIVE FOR MATHEMATICAL LOGIC | 0.5 | JCR Q3 |
| 6 | Algebra and Logic | 0.4 | JCR Q4 |
| 7 | MATHEMATICAL LOGIC QUARTERLY | 0.4 | JCR Q4 |