| THEORY AND PRACTICE OF LOGIC PROGRAMMING | IF 1.3 | 新锐2区JCR Q1 |
| BULLETIN OF SYMBOLIC LOGIC | IF 1 | 新锐2区JCR Q1 |
| Australasian Journal of Logic | IF 0.9 | 新锐2区JCR Q2 |
| Review of Symbolic Logic | IF 0.7 | 新锐2区JCR Q2 |
| Notre Dame Journal of Formal Logic | IF 0.6 | 新锐2区JCR Q3 |
| ACM Transactions on Computational Logic | IF 1.1 | 新锐3区JCR Q1 |
| Journal of Logic Language and Information | IF 1 | 新锐4区JCR Q1 |
| Journal of Logical and Algebraic Methods in Programming | IF 1 | 新锐3区JCR Q1 |
| JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | IF 1 | 新锐4区JCR Q1 |
| ANNALS OF PURE AND APPLIED LOGIC | IF 0.8 | 新锐3区JCR Q2 |
| Logical Methods in Computer Science | IF 0.8 | 新锐4区JCR Q2 |
| JOURNAL OF LOGIC AND COMPUTATION | IF 0.7 | 新锐4区JCR Q2 |