| ACM Transactions on Computational Logic | ACM Trans. Comput. Logic | 1529-3785 | 0.67 | Q1 | 4区 | | |
| Algebra and Logic | Algebra Log. | 0002-5232 | 0.28 | Q4 | 3区 | | |
| Annals of Pure and Applied Logic | Ann. Pure. Appl. Log. | 0168-0072 | 0.47 | Q4 | 2区 | | |
| Archive for Mathematical Logic | Arch. Math. Logic | 0933-5846 | 0.45 | Q4 | 4区 | | |
| Bulletin of Symbolic Logic | Bull. Symb. Log. | 1079-8986 | 0.89 | Q2 | 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 Logic, Language and Information | J of Log Lang and Inf | 0925-8531 | 0.89 | Q2 | 3区 | | |
| Journal of Logical and Algebraic Methods in Programming | J. Logical Algebraic Methods Program. | 2352-2208 | 0.88 | Q1 | 4区 | | |
| Journal of Mathematical Logic | J. Math. Log. | 0219-0613 | 0.77 | Q2 | 1区 | | |
| Journal of Multiple-Valued Logic and Soft Computing | | 1542-3980 | 0.83 | Q1 | 4区 | | |
| Journal of Symbolic Logic | J. Symb. Log. | 0022-4812 | 0.54 | Q3 | 3区 | | |
| Logic Journal of the IGPL | Log. J. IGPL. | 1367-0751 | 0.69 | Q4 | 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区 | | |
| Mathematical Logic Quarterly | Math. Log. Q. | 0942-5616 | 0.52 | Q4 | 4区 | | |
| Notre Dame Journal of Formal Logic | Notre Dame J. Form. Log. | 0029-4527 | 0.76 | Q2 | 3区 | | |
| Reports on Mathematical Logic | | 0137-2904 | 0.06 | Q4 | 4区 | | |
| Review of Symbolic Logic | Rev. Symb. Log. | 1755-0203 | 0.72 | Q3 | 3区 | | |
| Studia Logica | Stud Logica | 0039-3215 | 0.43 | Q2 | 3区 | | |
| 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区 | | |