Logica Universalis is an esteemed academic journal published by SPRINGER BASEL AG, dedicated to advancing the fields of Applied Mathematics and Logic. With its ISSN 1661-8297 and E-ISSN 1661-8300, the journal has been active from 2007 and continues to contribute significantly to the discourse surrounding mathematical logic and its applications up to 2024. Located in Basel, Switzerland, Logica Universalis holds a notable position within the academic community, evidenced by its ranking within the Q4 category of both Applied Mathematics and Logic as of 2023. While it currently operates without Open Access options, the journal remains a pivotal resource for researchers and practitioners seeking to explore foundational and applied aspects of logic. Moreover, with a Scopus rank of #22/41 in Logic and #464/635 in Applied Mathematics, it provides a platform for comprehensive knowledge dissemination and facilitates innovative research that bridges theoretical and practical methodologies. This journal is instrumental for anyone looking to deepen their understanding and make meaningful contributions to these intertwined domains.

Notre Dame Journal of Formal Logic is a premier academic publication dedicated to the advancement of research in the field of logical studies. Published by DUKE UNIVERSITY PRESS, this journal has been a significant contributor to the discipline since its inception in 1960, with an impressive convergence of scholarly articles expected to continue through 2024. With its focus on rigorous formal logic, the journal plays a crucial role in fostering discussions that bridge mathematics and philosophical inquiry, holding a notable Q2 ranking in the 2023 Logic category. Despite its non-open-access status, the journal reaches a wide audience of researchers, professionals, and students committed to exploring the foundational aspects of logics. Located in Durham, NC, it provides a platform for innovative thought and critical engagement within the logic community. With its impactful contributions, the Notre Dame Journal of Formal Logic stands as a vital resource for those seeking to deepen their understanding of both classic and contemporary logical theories.

ACM Transactions on Computational Logic, published by the Association for Computing Machinery, is a premier journal dedicated to the advancement of computational logic, spanning the disciplines of computer science and mathematics. With its ISSN 1529-3785 and E-ISSN 1557-945X, this journal has established itself as a vital resource within the academic community, particularly noted for its influential contributions reflected in its 2023 scopus rankings. The journal holds notable quartile rankings, achieving Q1 in the fields of Computer Science (miscellaneous) and Logic, alongside Q2 in Computational Mathematics and Theoretical Computer Science, indicating its prestigious position in the respective categories. Researchers, practitioners, and students can access a wealth of rigorous research articles that delve into both theoretical frameworks and practical applications of computational logic, fostering innovation and collaboration in the field. As it converges towards its 2024 objectives, ACM Transactions on Computational Logic continues to uphold a commitment to excellence and impact, striving to shape the future of computational theories and methodologies.

LOGIC JOURNAL OF THE IGPL, published by Oxford University Press, stands as a prominent outlet for scholarly work in the field of logic and philosophy. With its ISSN 1367-0751 and E-ISSN 1368-9894, this journal has been a pivotal platform since its inception, covering critical developments in logical theory, methodology, and applications as well as fostering interdisciplinary dialogue with philosophical inquiries. The journal's impressive ranking in the 2023 Scopus metrics, placing it in the 76th percentile for Mathematics - Logic and categorized in Q2 in Philosophy, underscores its significant impact and relevance. Researchers, professionals, and students alike will benefit from its rich repository of innovative ideas and perspectives, with access options that afford a greater reach to the academic community as well as a commitment to advancing the field until 2024 and beyond. Whether you're exploring the nuances of formal systems or the implications of logic in philosophical contexts, the LOGIC JOURNAL OF THE IGPL offers essential insights that contribute to the ongoing discourse.

The Journal of Logic and Analysis is an esteemed scholarly periodical dedicated to the fields of logic and mathematical analysis, published by JOURNAL LOGIC & ANALYSIS. This Open Access journal, operational since 2009, provides researchers, professionals, and students with unrestricted access to cutting-edge research and advancements in these critical areas of study. Based in the United States, it has garnered attention for its interdisciplinary approach, contributing significantly to the academic community's understanding of complex logical frameworks and analytical techniques. The journal's recent Scopus rankings indicate its competitive standing within its categories, including Q3 in Analysis and Logic, as well as Modeling and Simulation, showcasing its relevance and impact within these domains. By fostering innovative research and collaboration, The Journal of Logic and Analysis plays a vital role in the advancement of knowledge and scholarship in mathematics and its applications.

ERKENNTNIS, published by SPRINGER, is a premier academic journal that has been advancing the study of philosophy and logic since its inception in 1919. With its esteemed ranking in the Q1 quartile for both categories as of 2023, it stands at the forefront of scholarly discourse, earning an impressive rank of #104 in the field of philosophy and #13 in logic according to the Scopus rankings. This influential publication not only contributes to the theoretical underpinnings of these disciplines but also fosters a vibrant exchange of ideas among researchers, professionals, and students alike. While it does not offer open access to its articles, the journal's esteemed reputation and rigorous peer-review process ensure that all published works maintain the highest standards of quality and intellectual inquiry, making ERKENNTNIS an essential resource for anyone engaged in these critical areas of study.

Pure and Applied Mathematics Quarterly is a prestigious journal published by INT PRESS BOSTON, INC, focusing on the diverse and evolving field of mathematics. Since its inception in 2007, this journal has grown significantly, currently holding a Q1 ranking in the Mathematics (Miscellaneous) category for 2023, positioning it among the leading publications in the discipline. With a commitment to publishing high-quality research, Pure and Applied Mathematics Quarterly fosters innovation and dialogue within the mathematical community by providing a platform for theoretical advancements and practical applications. The journal remains accessible to researchers and professionals through its ISSN 1558-8599 and E-ISSN 1558-8602, although it does not currently offer open access. As a vital resource for mathematicians, educators, and students, this journal endeavors to expand the frontiers of mathematical knowledge and contribute to the academic dialogue surrounding this fundamental science.

BULLETIN OF SYMBOLIC LOGIC, published by Cambridge University Press, is a distinguished academic journal that serves as an essential platform for the dissemination of research in the realms of logic and philosophy. Since its inception in 1995, this journal has progressed through its convergence years and remains committed to fostering intellectual discourse among scholars. With a 2023 ranking in the Q1 category of Philosophy and a Q3 classification in Logic, it continues to uphold its reputation as a significant contributor to the field. While operating under a traditional subscription model, the journal dedicates itself to publishing high-quality articles that explore foundational issues, advanced theories, and innovative insights in symbolic logic. Researchers, professionals, and students will find invaluable resources within its pages, particularly as it ranks favorably among peers, with noteworthy standings in Scopus rankings. For those seeking to deepen their understanding of logical frameworks and their philosophical implications, BULLETIN OF SYMBOLIC LOGIC is an indispensable resource.

The Journal of Logical and Algebraic Methods in Programming (ISSN: 2352-2208, E-ISSN: 2352-2216) is a prestigious publication by Elsevier Science Inc, dedicated to advancing the fields of computational theory, programming logic, and mathematical methodologies. Esteemed in its commitment to high-quality research, this journal holds a Q2 ranking in 2023 for Computational Theory and Mathematics, and is recognized in various other disciplines including Logic and Software Studies. The journal’s open access policy enhances its visibility and accessibility, ensuring that cutting-edge research reaches a wider audience of researchers, professionals, and students. With an impressive convergence timeline from 2014 to 2025, it is a vital resource for those seeking to explore innovative algorithms and their applications in diverse areas of informatics. The Journal of Logical and Algebraic Methods in Programming represents a unique intersection of logic, mathematics, and software, carving a significant place in the scholarly discourse of theoretical computer science.

Journal of Mathematical Logic, published by World Scientific Publishing Co Pte Ltd, stands as a premier platform for the dissemination of cutting-edge research in the field of logic, with a notable Q1 ranking in the category of Logic for 2023. Catering to an international audience of researchers, professionals, and students, this journal serves as a vital resource for the latest advancements and theoretical developments in mathematical logic. Spanning from 2007 to 2024, the journal emphasizes contributions that explore both foundational and applied aspects of logic, thereby appealing to a diverse readership. Although currently subscribed access only, the journal’s rigorous peer-review process ensures high-quality publications that enrich the academic discourse within the mathematical community. With its strategic location in Singapore, the Journal of Mathematical Logic not only contributes to the global conversation in mathematics but also fosters collaboration among scholars from various backgrounds.