首页 / SCIE 2015 / LOGIC
1 THEORY AND PRACTICE OF LOGIC PROGRAMMING Q1
2 ACM Transactions on Computational Logic Q1
3 Journal of Mathematical Logic Q1
4 Studia Logica Q1
5 Journal of Logical and Algebraic Methods in Programming Q1
6 BULLETIN OF SYMBOLIC LOGIC Q2
7 Review of Symbolic Logic Q2
8 JOURNAL OF LOGIC AND COMPUTATION Q2
9 ANNALS OF PURE AND APPLIED LOGIC Q2
10 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Q2
11 Logical Methods in Computer Science Q3
12 Notre Dame Journal of Formal Logic Q3
13 Algebra and Logic Q3
14 Journal of Applied Logic Q3
15 JOURNAL OF SYMBOLIC LOGIC Q3
16 ARCHIVE FOR MATHEMATICAL LOGIC Q3
17 Journal of Logic Language and Information Q4
18 LOGIC JOURNAL OF THE IGPL Q4
19 JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING Q4
20 Reports on Mathematical Logic Q4
21 HISTORY AND PHILOSOPHY OF LOGIC Q4
22 MATHEMATICAL LOGIC QUARTERLY Q4