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.

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.

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 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.

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, published by the American Mathematical Society, is a premier journal in the field of mathematics that has been contributing to the advancement of mathematical knowledge since 1900. With an ISSN of 0002-9947 and an E-ISSN of 1088-6850, this journal holds a prestigious position in the academic landscape, evidenced by its Q1 rankings in both Applied Mathematics and Miscellaneous Mathematics categories as of 2023. With a Scopus ranking of #97 in General Mathematics and a percentile standing of 75th, the journal is recognized for its rigorous peer-review process and the quality of the research it publishes. Though it does not currently offer open access options, it essentially serves as a vital resource for researchers, professionals, and students seeking critical insights and developments in mathematical theory and applications. The Transactions aim to publish high-quality research articles that foster the exchange and dissemination of ideas, supporting the growth of both theoretical and applied mathematics within the global scholarly community.

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.

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.

Fuzzy Sets and Systems, published by Elsevier, is a leading international journal that delves into the intricate field of fuzzy logic and its applications in various domains, including artificial intelligence and computational mathematics. With a significant impact within its categories—ranking Q2 in Artificial Intelligence and Q1 in Logic for 2023—this journal offers a robust platform for scholars to share cutting-edge research and developments. Focusing on the application of fuzzy set theory to enhance decision-making processes, modeling, and data analysis, it caters to a diverse audience of researchers, industry professionals, and advanced students. The journal's rigorous review process and prestigious ranking, evidenced by its impressive Scopus metrics—2nd in Mathematics & Logic and 120th in Computer Science—underscore its importance in the academic landscape. Contributors are encouraged to explore innovative methodologies, theoretical advancements, and interdisciplinary approaches. Fuzzy Sets and Systems continues to serve as a vital resource for advancing knowledge and fostering collaboration within the fuzzy logic community.

Journal of Mathematical Logic, published by World Scientific Publishing Co Pte Ltd, stands as a premier platform for the dissemination of cutting-edge research in the field of logic, with a notable Q1 ranking in the category of Logic for 2023. Catering to an international audience of researchers, professionals, and students, this journal serves as a vital resource for the latest advancements and theoretical developments in mathematical logic. Spanning from 2007 to 2024, the journal emphasizes contributions that explore both foundational and applied aspects of logic, thereby appealing to a diverse readership. Although currently subscribed access only, the journal’s rigorous peer-review process ensures high-quality publications that enrich the academic discourse within the mathematical community. With its strategic location in Singapore, the Journal of Mathematical Logic not only contributes to the global conversation in mathematics but also fosters collaboration among scholars from various backgrounds.

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.