Reports on Mathematical Logic《数理逻辑报告》（年刊）. Reports on Mathematical Logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics.

Mathematical Logic Quarterly《数学逻辑季刊》（季刊）. Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.

Logical Methods in Computer Science《计算机科学中的逻辑方法》（季刊）. Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Logica Universalis《逻辑普遍性》（季刊）. Logica Universalis (LU) publishes peer-reviewed research papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also philosophical and historical aspects of general concepts of logic.

Logic Journal of the IGPL《IGPL逻辑期刊》（双月刊）. Logic Journal of the IGPL is an online only journal publishing papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.

The Journal of Symbolic Logic《符号逻辑杂志》（季刊）. The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Papers are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience.

Journal of Mathematical Logic《数学逻辑杂志》（一年3期）. The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.

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.

Bulletin of Symbolic Logic《符号逻辑通报》（季刊）. The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.

Journal of Multiple-Valued Logic and Soft Computing《多值逻辑与软计算杂志》（月刊）. The aim of the Journal of Multiple-Valued Logic and Soft Computing is to publish and disseminate knowledge in the areas related to multiple-valued logic and various disciplines that relate to soft computing, that is, to computing that is tolerant of imprecision, uncertainty, partial truth and approximative reasoning.