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.

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.

FORUM MATHEMATICUM, published by WALTER DE GRUYTER GMBH, is a distinguished academic journal based in Germany, known for its significant contributions to the field of mathematics. With an ISSN of 0933-7741 and an E-ISSN of 1435-5337, the journal features comprehensive studies ranging from applied mathematics to diverse mathematical disciplines. Having maintained a commendable presence since 1989, FORUM MATHEMATICUM has achieved notable classification rankings, including Q2 in Applied Mathematics and Q1 in miscellaneous Mathematics as of 2023. Additionally, it holds a Scopus rank within the top 60th percentile in General Mathematics, making it a prominent platform for researchers and professionals seeking rigorous analysis and innovative methodologies in mathematics. While the journal does not currently offer open access, its rich content is pivotal for advancing mathematical theory and applications, appealing to students and seasoned academics alike.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, published by Cambridge University Press, is a premier academic journal that delves into the evolving field of logic programming, offering insights and advancements from 2001 to 2024. With an ISSN of 1471-0684 and an E-ISSN of 1475-3081, this journal serves as a vital resource for researchers, professionals, and students interested in areas such as artificial intelligence, computational theory, and software development. In 2023, the journal was recognized for its excellence, achieving Q1 status in Computational Theory and Mathematics and Q2 in several other categories, underscoring its significant impact within the academic community. Despite not being open access, its robust content, curated by esteemed scholars, guarantees high-quality research and innovative methodologies that are crucial for advancing the field. The journal's rigorous peer-review process and its standings in Scopus rankings further emphasize its relevance and authority, making it a quintessential platform for disseminating key findings and fostering scholarly dialogue.

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.

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.

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.

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.

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.

The JOURNAL OF SYMBOLIC LOGIC, published by Cambridge University Press, stands as a leading platform for scholarly discourse in the realms of logic and philosophy. With a rich history dating back to 1938, this esteemed journal is dedicated to presenting cutting-edge research that pushes the boundaries of knowledge within symbolic logic and its applications. In 2023, it proudly holds a distinguished Q1 ranking in both Logic and Philosophy categories, reflecting its high impact and relevance in the academic community. Researchers and academics benefit from its rigorous peer-review process and contributions from leading scholars worldwide, ensuring the dissemination of high-quality research and critical theories. While the journal currently does not operate under an open access model, it remains a pivotal resource for professionals seeking to deepen their understanding of logical theories and philosophical inquiries. Explore the JOURNAL OF SYMBOLIC LOGIC to engage with scholarly articles that challenge conventional thought and inspire future research.