ACM Transactions on Computational Logic《美国计算机协会计算逻辑会报》（季刊）. ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including: artificial intelligence, computational complexity, database systems and programming languages.

JOURNAL OF LOGIC AND COMPUTATION《逻辑与计算杂志》（一年8期）. The Journal of Logic and Computation is an online only publication aiming to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.....

Journal of Logical and Algebraic Methods in Programming《编程中的逻辑与代数方法期刊》（双月刊）. The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.