| 期刊 | 期刊缩写 | ISSN | 文章数/年 - | 5年平均分 - | 非自引分 - | IF - |
|---|---|---|---|---|---|---|
| Journal of Logical and Algebraic Methods in Programming | J Log Algebr Methods | 2352-2208 | 42 | 1.100 | 0.900 | 1.200 |
| Theory and Practice of Logic Programming | Theor Pract Log Prog | 1471-0684 | 42 | 1.400 | 0.800 | 1.100 |
| Logical Methods in Computer Science | Log Meth Comput Sci | 1860-5974 | 95 | 1.000 | 0.900 | 1.000 |
| ACM Transactions on Computational Logic | Acm T Comput Log | 1529-3785 | 25 | 0.800 | 0.900 | 0.900 |
| Review of Symbolic Logic | Rev Symb Logic | 1755-0203 | 19 | 0.800 | 0.800 | 0.900 |
| Logica Universalis | Log Universalis | 1661-8297 | 20 | 0.600 | 0.400 | 0.500 |
| Journal of Multiple-Valued Logic and Soft Computing | J Mult-Valued Log S | 1542-3980 | 0 | 0.800 | 0.600 | 0.700 |
| Annals of Pure and Applied Logic | Ann Pure Appl Logic | 0168-0072 | 0 | 0.600 | 0.600 | 0.600 |
| Logic Journal of the Igpl | Log J Igpl | 1367-0751 | 0 | 0.600 | 0.500 | 0.600 |
| Studia Logica | Stud Logica | 0039-3215 | 0 | 0.700 | 0.500 | 0.600 |
| Journal of Symbolic Logic | J Symbolic Logic | 0022-4812 | 0 | 0.600 | 0.400 | 0.500 |