| ACM Transactions on Computational Logic | IF 1.1 | 新锐3区JCR Q1 |
| Journal of Logical and Algebraic Methods in Programming | IF 1 | 新锐3区JCR Q1 |
| ANNALS OF PURE AND APPLIED LOGIC | IF 0.8 | 新锐3区JCR Q2 |
| JOURNAL OF SYMBOLIC LOGIC | IF 0.6 | 新锐3区JCR Q3 |
| ARCHIVE FOR MATHEMATICAL LOGIC | IF 0.5 | 新锐3区JCR Q3 |
| Algebra and Logic | IF 0.4 | 新锐3区JCR Q4 |
| THEORY AND PRACTICE OF LOGIC PROGRAMMING | IF 1.3 | 新锐2区JCR Q1 |
| BULLETIN OF SYMBOLIC LOGIC | IF 1 | 新锐2区JCR Q1 |
| Journal of Logic Language and Information | IF 1 | 新锐4区JCR Q1 |
| JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | IF 1 | 新锐4区JCR Q1 |
| Australasian Journal of Logic | IF 0.9 | 新锐2区JCR Q2 |
| Studia Logica | IF 0.9 | 新锐2区JCR Q2 |