ANNALS OF PURE AND APPLIED LOGIC is a premier academic journal published by Elsevier, specializing in the foundational aspects of logic since its inception in 1974. With a strong commitment to disseminating original research, the journal focuses on both pure and applied logic, making significant contributions to the fields of mathematics and computer science. The journal is recognized for its rigorous peer-review process and is currently ranked Q1 in Logic, reflecting its status among the top-tier publications in the discipline. Researchers will find valuable insights and advancements in logical theory and practice in its pages, while the journal's Scopus ranking further positions it strategically within the mathematical logic community. Although it is not an open-access publication, it offers convenient access options for institutions and subscribers, ensuring a wide reach for groundbreaking findings. The ANNALS OF PURE AND APPLIED LOGIC continues to be an essential resource for professionals, students, and academics alike, facilitating a deeper understanding of logical frameworks and their applications.

Algebra and Logic is a prestigious journal published by Springer, focusing on the intricate fields of algebra, number theory, analysis, and logic. With a history spanning over five decades since its inception in 1968, the journal serves as a critical platform for scholars and practitioners to disseminate cutting-edge research, theoretical advancements, and practical applications within these mathematical domains. Notably, it holds a distinguished Q2 ranking in its categories for 2023, reflecting its impact and relevance in the academic landscape. Though the journal does not currently offer open access options, its rigorous peer-review process ensures the highest standards of scholarly integrity and quality. Additionally, its Scopus rankings further underline its significance, with placements in the competitive percentiles in various subfields. Algebra and Logic is essential reading for anyone involved in mathematical research, providing invaluable insights and fostering dialogue among researchers, professionals, and students alike.

Studia Logica is a leading international journal published by Springer that focuses on the intricate interconnections between logic, philosophy, and the history of science. Established in 1953, this journal has garnered an esteemed reputation, consistently appearing in the Q1 category for History and Philosophy of Science and Q2 for Logic in 2023. With a robust Scopus ranking, where it stands at #42 out of 223 in the field of Arts and Humanities and #17 out of 41 in Mathematics (Logic), Studia Logica is pivotal for researchers and scholars keen on exploring the foundations and implications of logical theory and its applications. The journal does not follow an open access model, ensuring that the published work maintains a high standard of quality and rigor. Located in Dordrecht, Netherlands, the journal continues to be a crucial conduit for advancing scholarly discourse and disseminating cutting-edge research in its respective fields.

JOURNAL OF AUTOMATED REASONING is a premier academic journal published by SPRINGER, focusing on the dynamic and evolving fields of Artificial Intelligence, Computational Theory and Mathematics, and Software. With an ISSN of 0168-7433 and E-ISSN 1573-0670, this journal ranks impressively in the second quartile (Q2) across multiple categories, reflecting its significant contribution to the advancement of knowledge in automated reasoning methodologies. Since its inception in 1985, it has served as a vital platform for researchers and professionals to share groundbreaking findings and innovative techniques, facilitating the exploration of algorithms, logical frameworks, and reasoning processes that underpin artificial intelligence systems. Although it does not currently offer Open Access options, it remains a highly regarded resource, cited widely in academia, with its impactful publications reflecting deep insights and rigorous scholarly standards. The journal’s esteemed status and its ongoing commitment to fostering a greater understanding of automated reasoning make it an invaluable asset for those dedicated to pushing the boundaries of these interdisciplinary fields.

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.

Journal of Multiple-Valued Logic and Soft Computing, published by Old City Publishing Inc, is a dedicated forum for advancing the fields of logic and soft computing. Since its inception in 2003, this journal has positioned itself as a valuable resource for researchers, professionals, and students interested in the complex interplay between multiple-valued logic systems and computational methodologies. With a broader reach into theoretical computer science, the journal is categorized in the Q4 quartiles across key areas, showcasing its role in disseminating relevant research despite its current position. This peer-reviewed publication silos essential discussions and breakthroughs that serve as a foundation for ongoing innovation in logic and computing theories. Though not currently open access, the journal continues to attract critical contributions that underscore its commitment to advancing knowledge in mathematical logic and software development through its effective symposium-like format, promoting collaboration among various stakeholders in the scientific community.

Reports on Mathematical Logic is an esteemed academic journal published by Jagiellonian University’s Theoretical Computer Science Department in Poland. Focusing on the interdisciplinary realms of logic and philosophy, this journal publishes rigorous research articles that explore the foundational aspects and implications of mathematical logic in various contexts. Although it currently maintains an open access model, the journal's impact can be seen through its categorized rankings, with a Q4 in Logic and a commendable Q2 in Philosophy as of 2023. This positions it as a valuable resource for academics seeking to engage with innovative ideas and methodologies in the field. Additionally, the journal has a historical academic presence, having converged in its publication years from 2011 to 2014 and again from 2016 to 2023, underscoring its ongoing commitment to advancing knowledge in logic. With a focus on contemporary research, Reports on Mathematical Logic is essential for researchers, professionals, and students aiming to stay at the forefront of logic studies.

The Journal of Logic Language and Information, published by SPRINGER, stands as a leading interdisciplinary platform dedicated to the exploration of the interconnections between logic, language, and information theory. With a history spanning from 1992 to 2024, this esteemed journal provides a vital forum for researchers, professionals, and students in fields such as Computer Science, Linguistics, and Philosophy. Notably recognized in the 2023 rankings, it holds a Q2 quartile in Computer Science (miscellaneous) and Q1 quartiles in both Linguistics and Language, and Philosophy, reflecting its high academic quality and relevance. Despite its nuanced focus, the journal's diverse scope attracts a global readership, encouraging innovative research and critical discourse. Although it is not an Open Access publication, the Journal's valuable contributions can be accessed through various institutional subscriptions, ensuring that its scholarly output remains influential within the academic community.

The JOURNAL OF PHILOSOPHICAL LOGIC, published by Springer, is a prestigious scholarly journal specializing in the intricate intersections of logic, philosophy, and their diverse applications. Since its inception in 1972, this eminent journal has become a cornerstone of philosophical discourse, attracting leading researchers and scholars in the field. With an impressive ranking of #77 out of 806 in the Scopus Arts and Humanities - Philosophy category and being positioned in the top 10th percentile, it stands as a Q1 journal, denoting its significant impact and rigorous standards in academic publishing. Although not an Open Access journal, it offers access to a wealth of high-quality articles contributing to the advancement of logical theory and practice until 2024. The journal aims to foster a vibrant platform for the exploration and development of philosophical logic, encouraging groundbreaking research and innovative dialogue among professionals and students alike, and solidifying its role as an essential resource within the philosophical community.

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.