Review of Symbolic Logic is a prestigious academic journal published by Cambridge University Press, dedicated to advancing the field of logic through critical analysis and innovative research. Established in 2008, the journal has become a key fixture in the academic community, particularly recognized for its contributions in the realms of logic, mathematics (miscellaneous), and philosophy. With an impressive classification of Q1 across multiple categories in 2023, it ranks within the top echelons of its field, standing at 15th out of 41 in Logic and 29th out of 90 in miscellaneous mathematics, positioning itself as essential reading for scholars and practitioners alike. Although not Open Access, the journal offers robust access options through institutional subscriptions, providing an expansive platform for the dissemination of high-quality research. Review of Symbolic Logic aims to foster a deeper understanding of symbolic logic's applications and implications while inspiring emerging scholars and seasoned researchers to further the dialogue within this vibrant area of study.

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.

Formalized Mathematics is a pioneering open-access journal published by SCIENDO, dedicated to the field of formalized systems and mathematical foundations. Since its inception in 2006, it has provided a platform for researchers to discuss and disseminate advancements in applied mathematics and computational mathematics, emphasizing formalization in mathematical reasoning. Although recent coverage in Scopus has been discontinued, the journal still serves as a valuable resource for academics looking to deepen their understanding of formalized approaches to mathematical problems. With its ISSN 1898-9934, the journal not only promotes unrestricted access to quality research but also facilitates collaboration among mathematicians and computer scientists. Given its rankings—20th percentile in Applied Mathematics and 18th percentile in Computational Mathematics—Formalized Mathematics is a vital conduit for innovative research, making it a significant asset for students, professionals, and scholars aiming to explore the intersection of mathematics and formal logic.

Argument & Computation is an esteemed academic journal dedicated to the interdisciplinary exploration of formal structures of argumentation and their computational applications. Published by IOS PRESS based in the United Kingdom, this Open Access journal, since its inception in 2010 and particularly impactful since 2016, serves as a pivotal platform for researchers and practitioners seeking to advance the fields of Artificial Intelligence, Computational Mathematics, Computer Science Applications, and Linguistics. With its current categorization in Q3 in Artificial Intelligence, Q2 in Computational Mathematics, and Q1 in Linguistics and Language for 2023, the journal maintains a commendable position within the scholarly community, evidenced by its high Scopus rankings, notably in Linguistics and Language where it ranks in the 92nd percentile. By fostering innovative research and discussions, Argument & Computation plays an essential role in bridging theoretical insights with computational practices, making it indispensable for academics, students, and professionals invested in the evolution of argumentation frameworks and their implications in technology and society.

SEMIGROUP FORUM, published by SPRINGER, is a preeminent journal based in the United States that serves as a vital platform for scholarly discourse in the field of algebra and number theory. With an impressive history stretching from 1970 to 2024, this journal has established itself as a key resource for researchers and practitioners alike, boasting a 2023 Q1 ranking in its category. The journal is recognized globally, with its ISSN 0037-1912 and E-ISSN 1432-2137 ensuring broad accessibility. Although it does not currently offer open access options, SEMIGROUP FORUM continues to engage a dedicated readership through its rigorous peer-reviewed articles that enhance the understanding of semigroups and their applications. As a beacon in the mathematical community, it ranks 50th out of 119 in the Scopus Mathematics category, reflecting its importance and impact in academia. Researchers, professionals, and students seeking to deepen their knowledge in algebra and number theory will find SEMIGROUP FORUM an essential resource for high-quality research and innovative discussions.

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.

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 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.

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.

Foundations and Trends in Machine Learning is a premier academic journal published by NOW PUBLISHERS INC, specializing in the cutting-edge fields of artificial intelligence, human-computer interaction, and software engineering. Since its inception in 2008, this journal has established a formidable reputation, attaining a Q1 ranking in 2023 across all three categories in the Scopus index, confirming its place among the elite publications in these disciplines. With an exceptional impact reflected in its standing as the top-ranked journal in Computer Science for both Software and Artificial Intelligence, researchers and practitioners alike turn to this resource for in-depth reviews and foundational insights that drive progress in the rapidly evolving landscape of machine learning. While currently operating under traditional access options, the journal invites a diverse audience, including students, researchers, and industry professionals, to deepen their understanding and contribute to knowledge in this dynamic area of study.