The Journal of Logic and Computation aims 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....

Logica Universalis is a peer-reviewed academic journal which covers research related to universal features of logic. Topics 
covered include tools and techniques for studying existing systems of logic  and constructing new ones, the study of 
the various classes of logical  systems, the scope of validity, the domain of application of fundamental  theorems, and also
philosophical and historical aspects of concepts of logic.

Studia Logica publish papers presenting original results on formal systems and employing formal tools of mathematics and broadly understood logic. Additionally, empirical and philosophical considerations can be directed towards the formal properties of these systems. The scope of papers published in Studia Logica covers all the philosophical subjects provided they present formal systems and make use of formal logical methods.

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. JSL has been, since its establishment in 1936, the leading journal in the world devoted to mathematical logic.

This journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent.

The Annals of Pure and Applied Logic publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic. The Annals serves primarily but not exclusively as a vehicle for the publication of papers too long to be published promptly by other journals, but too short to form a separate book.

The Journal of Philosophical Logic is a peer-reviewed scientific journal founded in 1972. It is published by Springer and "provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical."

Logic Journal of the IGPL publishes 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 Review of Symbolic Logic is designed to cultivate research on the
borders of logic, philosophy, and the sciences, and to support
substantive interactions between these disciplines. The journal

The Journal of Mathematical Logic was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications.