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.

HISTORY AND PHILOSOPHY OF LOGIC is a prestigious journal published by Taylor & Francis Ltd, focusing on the intricate relationships between historical contexts and philosophical inquiries within the realm of logic. With its ISSN 0144-5340 and E-ISSN 1464-5149, the journal has established itself as a vital academic resource since its inception in 1980 and will continue to contribute to the field until 2024. It holds an impressive status, ranking in the Q1 category in History and Q2 in History and Philosophy of Science according to the 2023 category quartiles. This journal is recognized for its high-impact research, achieving notable positions in Scopus ranks, including 80th percentile in Arts and Humanities - History and 58th percentile in History and Philosophy of Science. Although it does not offer open access, it remains a crucial platform for scholars, researchers, and students aiming to explore and advance knowledge at the intersection of logic's history and its philosophical implications.

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.

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 the Mathematical Society of Japan, established in 1948, is a premier scholarly journal dedicated to advancing mathematical research and discourse. Published by the esteemed Mathematical Society of Japan, this journal has consistently achieved recognition for its rigorous and innovative contributions to the field, achieving a prestigious Q1 category ranking in miscellaneous mathematics as of 2023. Although it maintains a subscription-based access model, the journal remains an invaluable resource for researchers, professionals, and students alike, fostering a deeper understanding and exploration of mathematics across various disciplines. With a focus on disseminating high-quality original research, reviews, and comprehensive articles, the Journal of the Mathematical Society of Japan plays a crucial role in the global mathematical community and continues to influence new generations of mathematicians through its commitment to excellence.

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.

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.

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.

Prolegomena is a distinguished open-access journal in the field of philosophy, published by the SOC ADVANCEMENT PHILOSOPHY-ZAGREB. Since its inception in 2006, this journal has fostered a vibrant academic community dedicated to the exploration and advancement of philosophical discourse. Based in Croatia and associated with University Zagreb-Croatian Studies, Prolegomena provides a platform for scholars to disseminate their research and engage with contemporary philosophical issues. The journal's impact is reflected in its Scopus ranking, positioning it in the 13th percentile within the Arts and Humanities category, evidencing its contributions despite a Q3 classification in the philosophy quartiles. Covering a wide spectrum of philosophical inquiries, Prolegomena invites rigorous analyses and innovative perspectives, making it an essential resource for researchers, professionals, and students eager to enrich their understanding of philosophical thought. With its commitment to accessibility, the journal is poised to continue influencing philosophical scholarship until 2024 and beyond.

Archive for Mathematical Logic, published by Springer Heidelberg, is a distinguished academic journal that delves into the intricate realms of mathematical logic and its philosophical implications. With an ISSN of 0933-5846 and an E-ISSN of 1432-0665, this journal is recognized for its rigorous peer-reviewed articles that contribute significantly to the understanding of logical frameworks. As of 2023, it has achieved a commendable Q2 ranking in Logic and a prestigious Q1 ranking in Philosophy, reflecting its impact within these intellectual fields. Operating from the United States with a publishing address in Heidelberg, Germany, the journal encompasses research spanning from 1988 to 2024, providing a rich historical context to contemporary discussions. With its robust Scopus rankings, it stands at the 70th percentile in Arts and Humanities - Philosophy and holds a notable ranking in Mathematics - Logic, further underscoring its relevance. While it is not an open-access journal, it remains vital for researchers, professionals, and students seeking to advance their knowledge and engage with cutting-edge discussions in mathematical logic and its philosophical applications.