| ACM Transactions on Computational Logic | ACM Trans. Comput. Logic | 1529-3785 | 0.67 | Q1 | 4区 | | |
| History and Philosophy of Logic | Hist. Philos. Logic | 0144-5340 | 0.56 | Q3 | 3区 | | |
| Journal of Applied Logics | | 2631-9810 | 0.60 | Q4 | | | |
| Journal of Logic and Analysis | | 1759-9008 | 0.46 | Q4 | | | |
| Journal of Logic and Computation | J. Log. Comput. | 0955-792X | 0.50 | Q1 | 4区 | | |
| Journal of Logical and Algebraic Methods in Programming | J. Logical Algebraic Methods Program. | 2352-2208 | 0.88 | Q1 | 4区 | | |
| Journal of Multiple-Valued Logic and Soft Computing | | 1542-3980 | 0.83 | Q1 | 4区 | | |
| Logica Universalis | Log. Univers. | 1661-8297 | 0.24 | Q4 | 2区 | | |
| Logical Methods in Computer Science | Log.Meth.Comput.Sci. | 1860-5974 | 0.47 | Q2 | 4区 | | |
| The Australasian journal of logic | | 1448-5052 | 0.67 | Q2 | | | |
| Theory and Practice of Logic Programming | Theory Pract. Log. Program. | 1471-0684 | 1.24 | Q1 | 2区 | | |