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.

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.

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.

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.

JOURNAL OF LOGIC AND COMPUTATION, published by Oxford University Press, is a leading peer-reviewed journal dedicated to advancing research in the intersections of logic, computation, and theoretical frameworks of computer science. With an ISSN of 0955-792X and an E-ISSN of 1465-363X, the journal has established itself within academic circles, boasting significant impact evidenced by its category quartiles, including a Q1 ranking in Arts and Humanities (miscellaneous) and a Q2 in Logic for 2023. This prestigious journal emphasizes interdisciplinary approaches to understanding computational systems, hence targeting a diverse audience of researchers, professionals, and students keen on exploring provocative questions in logic and computation. Although not open access, the content is highly valuable, reflecting contemporary challenges and advancements in the field. With over three decades of published work, spanning from 1990 to 2024, the journal continues to contribute richly to the discourse surrounding logical methodologies and computational innovations, making it an essential resource for those engaged in these dynamic areas 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.

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.

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.

BULLETIN OF SYMBOLIC LOGIC, published by Cambridge University Press, is a distinguished academic journal that serves as an essential platform for the dissemination of research in the realms of logic and philosophy. Since its inception in 1995, this journal has progressed through its convergence years and remains committed to fostering intellectual discourse among scholars. With a 2023 ranking in the Q1 category of Philosophy and a Q3 classification in Logic, it continues to uphold its reputation as a significant contributor to the field. While operating under a traditional subscription model, the journal dedicates itself to publishing high-quality articles that explore foundational issues, advanced theories, and innovative insights in symbolic logic. Researchers, professionals, and students will find invaluable resources within its pages, particularly as it ranks favorably among peers, with noteworthy standings in Scopus rankings. For those seeking to deepen their understanding of logical frameworks and their philosophical implications, BULLETIN OF SYMBOLIC LOGIC is an indispensable resource.

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.