2014年SCIE收录逻辑学期刊20种，其中SCI收录5种、SCI、A&HCI共同收录期刊4种。

2014年SCI收录逻辑学学科期刊20种目录

SCIENCE CITATION INDEX EXPANDED

LOGIC - JOURNAL LIST
Total journals: 20

注：★SCI、A&HCI共同收录期刊4种

1. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC《美国计算机学会计算逻辑汇刊》 Quarterly ISSN: 1529-3785

ASSOC COMPUTINGMACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY,10121-0701

1.   ScienceCitation Index Expanded

2. ALGEBRA AND LOGIC《代数与逻辑》 Bimonthly ISSN: 0002-5232

SPRINGER, 233SPRING ST, NEW YORK, USA,NY, 10013

1.   ScienceCitation Index Expanded

3. ANNALS OF PURE AND APPLIED LOGIC《理论与应用逻辑纪事》 Monthly ISSN: 0168-0072

ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE

1.   ScienceCitation Index

2.   ScienceCitation Index Expanded

4. ARCHIVE FOR MATHEMATICAL LOGIC《数理逻辑文献》 Bimonthly ISSN: 1432-0665

SPRINGER, 233SPRING ST, NEW YORK, USA,NY, 10013

1.   ScienceCitation Index

2.   ScienceCitation Index Expanded

5. BULLETIN OF SYMBOLIC LOGIC《符号逻辑通报》 Quarterly ISSN: 1079-8986

ASSOC SYMBOLICLOGIC, INC, 124 RAYMOND AVENUE, POUGHKEEPSIE, USA,NY, 12604-0001

1.   ScienceCitation Index

2.   ScienceCitation Index Expanded

6. ★HISTORY AND PHILOSOPHY OF LOGIC《逻辑史和逻辑哲学》Quarterly ISSN:0144-5340

TAYLOR &FRANCIS LTD, 4 PARK SQUARE, MILTON PARK, ABINGDON, ENGLAND, OXON, OX14 4RN

1.   ScienceCitation Index Expanded

2.   Arts& Humanities Citation Index

7. JOURNAL OF APPLIED LOGIC《应用逻辑学杂志》 Quarterly ISSN: 1570-8683

ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE

1.   ScienceCitation Index Expanded

8. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING《逻辑与代数程序设计杂志》 Bimonthly ISSN: 1567-8326

ELSEVIER SCIENCEINC, 360 PARK AVE SOUTH, NEW YORK, USA,NY, 10010-1710

1.   ScienceCitation Index

2.   ScienceCitation Index Expanded

9. JOURNAL OF LOGIC AND COMPUTATION《逻辑与计算杂志》Bimonthly ISSN: 0955-792X

OXFORD UNIV PRESS, GREAT CLARENDON  ST, OXFORD, ENGLAND, OX2 6DP

1.   ScienceCitation Index Expanded

10. JOURNAL OF MATHEMATICAL LOGIC《数理逻辑杂志》 Semiannual ISSN: 0219-0613

WORLD SCIENTIFICPUBL CO PTE LTD, 5 TOH TUCK LINK, SINGAPORE,SINGAPORE,596224

1.   ScienceCitation Index Expanded

11. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING《多值逻辑与软计算杂志》 Quarterly ISSN: 1542-3980

OLD CITYPUBLISHING INC, 628 NORTH 2ND ST, PHILADELPHIA, USA,PA, 19123

1.   ScienceCitation Index Expanded

12. JOURNAL OF SYMBOLIC LOGIC《符号逻辑杂志》 Quarterly ISSN: 0022-4812

ASSOC SYMBOLICLOGIC, INC, 124 RAYMOND AVENUE, POUGHKEEPSIE, USA,NY, 12604-0001

1.   ScienceCitation Index

2.   ScienceCitation Index Expanded

13. LOGIC JOURNAL OF THE IGPL《IGPL逻辑杂志》 BimonthlyISSN: 1367-0751

OXFORD UNIV PRESS, GREAT CLARENDON  ST, OXFORD, ENGLAND, OX2 6DP

1.   ScienceCitation Index Expanded

14. LOGICAL METHODS IN COMPUTER SCIENCE《计算机科学的逻辑方法》Irregular ISSN: 1860-5974

TECH UNIVBRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23,BRAUNSCHWEIG, GERMANY, 38106

1.   ScienceCitation Index Expanded

15. MATHEMATICAL LOGIC QUARTERLY《数理逻辑季刊》 Bimonthly ISSN: 0942-5616

WILEY-V CH VERLAG GMBH, BOSCHSTRASSE 12, WEINHEIM, GERMANY, D-69469

1.   ScienceCitation Index Expanded

16. ★NOTRE DAME JOURNAL OF FORMAL LOGIC《圣母大学形式逻辑学杂志》 Quarterly ISSN: 0029-4527

DUKE UNIV PRESS,905 W MAIN ST, STE 18-B, DURHAM, USA, NC, 27701

1.   ScienceCitation Index Expanded

2.   Arts& Humanities Citation Index

17. REPORTS ON MATHEMATICAL LOGIC《数理逻辑报告》Annual ISSN: 0137-2904

JAGIELLONIANUNIV, INST ENVIRONMENTAL SCIENCES, GRONOSTAJOWA 7, KRAKOW, POLAND, 30-387

1.   ScienceCitation Index Expanded

18. ★REVIEW OF SYMBOLIC LOGIC《符号逻辑评论》 Quarterly ISSN: 1755-0203

CAMBRIDGE UNIV PRESS, 32AVENUE OF THE AMERICAS, NEW YORK, USA,NY, 10013-2473

1.   ScienceCitation Index Expanded

2.   Arts& Humanities Citation Index

19. ★STUDIA LOGICA《逻辑学研究》 Monthly ISSN: 0039-3215

SPRINGER, 233 SPRINGST, NEW  YORK, USA,NY, 10013

1.   ScienceCitation Index Expanded

2.   Arts& Humanities Citation Index

20. THEORY AND PRACTICE OF LOGIC PROGRAMMING《逻辑程序设计理论与实践》Bimonthly ISSN: 1471-0684

CAMBRIDGE UNIV PRESS, 32AVENUE OF THE AMERICAS, NEW YORK, USA,NY, 10013-2473

1.   ScienceCitation Index Expanded