Informal Logic is a prestigious, open-access academic journal published by the University of Windsor's Department of Philosophy, focusing on the intersection of reasoning, argumentation, and rhetoric within the field of philosophy. Since its establishment in 2006, it has dedicated itself to promoting rigorous scholarship and innovative methodologies, supporting an array of topics that delve into both theoretical and practical dimensions of informal logic. With an impressive Q1 ranking in philosophy as of 2023, and a commendable ranking of #149 out of 806 within the Arts and Humanities - Philosophy category, the journal holds a significant place in academic discourse, attracting a diverse readership of researchers, professionals, and students alike. Notably, it operates under an open-access model, fostering greater accessibility to high-quality research, and contributing to the growing global dialogue around critical thinking and communication. The journal’s impact and relevance continue to grow, especially in the context of converging years from 2010 to 2024, making it an essential resource for anyone engaged in the study of informal logic.

Journal für Mathematik-Didaktik, published by Springer Heidelberg, is a leading academic journal that has been at the forefront of mathematics education research since its inception in 1980. Operating under ISSN 0173-5322 and E-ISSN 1869-2699, this esteemed journal serves as a platform for disseminating rigorous research findings, innovative teaching methods, and theoretical frameworks aimed at improving mathematics instruction. With a notable Q2 ranking in both Education and Mathematics (miscellaneous), the journal has gained recognition for its impactful contributions, evidenced by its position within the 75th percentile in General Mathematics and >50th percentile in Social Sciences Education on Scopus. Scholars and practitioners benefit from its commitment to advancing educational practices, while readers enjoy access to a wealth of knowledge that addresses current challenges and trends in mathematics teaching and learning. Designed for educators, researchers, and students alike, the Journal für Mathematik-Didaktik is an essential resource for those looking to enhance their understanding and practice in the ever-evolving field of mathematics education.

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.

Computation, published by MDPI, is an esteemed open-access journal that has been contributing to the fields of applied mathematics and computer science since its inception in 2013. With an E-ISSN of 2079-3197, this Swiss-based journal operates under a philosophy of free knowledge dissemination, allowing researchers, professionals, and students globally to access high-quality content without financial barriers. Recognized for its rigorous peer-review process, Computation is currently categorized in the Q2 and Q3 quartiles across significant domains, including Applied Mathematics (#181/635), Theoretical Computer Science (#52/130), and Modeling and Simulation (#138/324). As it converges towards 2024, the journal continues to attract innovative and impactful research aimed at advancing theoretical frameworks and practical applications within these disciplines. Joining the Computation community not only enriches individual research portfolios but also contributes to the broader conversation on computational methodologies and their applications in solving real-world problems.

INFORMATION AND COMPUTATION is a peer-reviewed academic journal published by Academic Press Inc., Elsevier Science, dedicated to advancing the fields of computational theory and mathematics, computer science applications, and information systems. With an ISSN of 0890-5401 and an E-ISSN of 1090-2651, the journal provides a platform for innovative research that spans theoretical and applied perspectives. Acknowledged for its impact in the community, it holds a Q2 quartile ranking in several categories, including Computational Theory and Mathematics and Computer Science Applications, as of 2023. These rankings place it among the leading journals in its field, making it an essential resource for researchers, professionals, and students aiming to stay abreast of cutting-edge developments. While it does not currently offer Open Access options, the journal intends to foster scholarly communication and knowledge sharing from its inception in 1987 to its future issues expected through 2024. Located in the United States, at 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495, INFORMATION AND COMPUTATION is committed to publishing high-quality research that influences the theoretical foundations and practical applications of its diverse disciplines.

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.

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.

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.

Logical Methods in Computer Science is a premier Open Access journal dedicated to fostering scholarly dialogue within the realms of Computer Science and Theoretical Computer Science. Established in 2004 and published by LOGICAL METHODS COMPUTER SCIENCE E V in Germany, this journal aims to bridge theoretical frameworks and practical applications, providing a platform for innovative research and discoveries. With an impressive HIndex reflecting its commitment to high-quality research, Logical Methods in Computer Science has achieved a Q2 ranking in both the miscellaneous and theoretical categories of computer science, indicating its growing influence in the academic community. Researchers, professionals, and students are encouraged to access and engage with the wealth of knowledge this journal offers, which is freely accessible to facilitate widespread dissemination of cutting-edge advancements in logical methods. With its convergence period extending from 2005 to 2024, Logical Methods in Computer Science continues to be a vital resource for those looking to explore the intersections of logic, computation, and mathematics.

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.