| # | 期刊 | 影响因子 | 分区 |
|---|---|---|---|
| 1 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | 1.3 | JCR Q1 |
| 2 | BULLETIN OF SYMBOLIC LOGIC | 1 | JCR Q1 |
| 3 | Australasian Journal of Logic | 0.9 | JCR Q2 |
| 4 | Studia Logica | 0.9 | JCR Q2 |
| 5 | Review of Symbolic Logic | 0.7 | JCR Q2 |
| 6 | Notre Dame Journal of Formal Logic | 0.6 | JCR Q3 |