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.

Tsukuba Journal of Mathematics is a distinguished publication dedicated to advancing the field of mathematics through the dissemination of innovative research and comprehensive studies. Published by the University of Tsukuba, Department of Mathematics, this journal serves as a vital platform for mathematicians, researchers, and students to engage with cutting-edge mathematical theories and methodologies. Although currently not available as an open-access journal, it maintains a strong academic presence, contributing significantly to the global mathematical landscape. The journal invites submissions across various branches of mathematics, aiming to foster scholarly communication and collaboration. The ISSN 0387-4982 and the E-ISSN 2423-821X further establish its credibility and accessibility among the academic community, supporting its critical objective of facilitating high-quality research output. Situated in Tsukuba, Japan, a hub for scientific research and development, the Tsukuba Journal of Mathematics is committed to bridging gaps in mathematical knowledge and encouraging exploration of novel ideas.

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.

Computability - The Journal of the Association CiE, published by IOS PRESS, is a premier academic journal dedicated to advancing the field of computational theory and its applications. Established in 2012, this journal serves a diverse audience, including researchers, professionals, and students involved in the realms of Artificial Intelligence, Computational Theory and Mathematics, and Theoretical Computer Science. With robust categorization in Q2 and Q3 quartiles for various related fields, it provides a vital platform for innovative research and discussions that shape the landscape of computational technologies. Although it operates under a subscription model, the quality of published content ensures significant academic contributions and offers valuable insights relevant to contemporary scientific challenges. Researchers interested in the intersection of computation and its practical implications will find Computability an essential resource for exploring cutting-edge developments and fostering scholarly exchange.

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.

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.

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.

JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, published by Cambridge University Press, is a prestigious journal dedicated to advancing research and scholarship in the field of mathematics. With a long-standing history since its inception in 1959, the journal has established itself as a vital resource for mathematicians, researchers, and students worldwide. Operating under an Open Access model, it ensures that high-quality research is accessible to all, enhancing the dissemination of knowledge and fostering collaboration in the mathematical community. The journal holds a commendable Q2 ranking in the 2023 Mathematics (miscellaneous) category and is ranked #145 in Scopus among general mathematics journals, placing it in the 63rd percentile, which reflects its significant influence and reputation in the discipline. The JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY continues to provide a platform for innovative mathematical research and critical discourse within the field, making it an invaluable asset for professionals and aspiring mathematicians alike.

The Australasian Journal of Logic is a prominent scholarly publication in the field of logic, published by the Australasian Association for Logic. With an ISSN of 1448-5052, this journal serves as a vital platform for disseminating research that advances the understanding and application of logical theory and its intersection with various disciplines. Although it is not open access, its rigorously peer-reviewed articles cater to academics, researchers, and students keen on exploring contemporary issues in logic both in theoretical and practical domains. The journal aims to foster scholarly communication and collaboration within the logic community, encouraging the exchange of ideas and insights that shape the future of logical studies. By contributing to the growing body of knowledge in this essential field, the Australasian Journal of Logic plays a crucial role in enhancing the intellectual landscape of logic research.

The Journal of the American Mathematical Society (ISSN: 0894-0347; E-ISSN: 1088-6834), published by the American Mathematical Society, stands as a pillar in the fields of mathematics and applied mathematics. This prestigious journal, with a remarkable impact factor and ranking in the top tier (*Q1*) within both the Applied Mathematics and general Mathematics categories, is recognized for its contribution to advancing mathematical research and theory. With data reflecting it as the 8th ranked journal in General Mathematics (top 2%) and the 34th in Applied Mathematics (top 6%), the journal consistently showcases groundbreaking studies and innovative methods that greatly influence academia and industry alike. Though not an open-access journal, it offers a wealth of resources and intellectual discourse for researchers, professionals, and students alike. Specializing in comprehensive and theoretical aspects of mathematics, the Journal remains dedicated to publishing articles that promote understanding and propel the field forward, highlighting its significance as an essential tool for those engaged in mathematical research.