Logic and Logical Philosophy is a distinguished journal published by Nicolaus Copernicus University Torun, Poland. With its ISSN 1425-3305 and E-ISSN 2300-9802, the journal has established itself as a premier outlet for cutting-edge research in the field of philosophy, specifically focusing on the intricate intersections of logic and philosophical inquiry. Since its inception, the journal has consistently demonstrated its impact within the academic community, achieving a commendable Q1 ranking in the 2023 Arts and Humanities category, placing it in the 73rd percentile of publications in the field. The journal aims to foster scholarly dialogue and contribute significantly to the advancement of philosophical understanding through rigorous research articles, critical reviews, and discussions. With a commitment to high academic standards and accessibility—though specific access options may vary—Logic and Logical Philosophy remains an essential resource for researchers, professionals, and students alike, paving the way for innovative philosophical discourse until 2024 and beyond.

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.

PROGRAMMING AND COMPUTER SOFTWARE is a distinguished journal committed to advancing the field of software development and programming methodologies. Published by PLEIADES PUBLISHING INC, this journal has been a valuable resource since its inception in 1978, reaching out to researchers, professionals, and students alike. With an emphasis on rigorous peer-reviewed articles, the journal holds a Q3 ranking in the realm of Software according to the latest 2023 Category Quartiles. Though it does not offer open access, the journal ensures that high-quality research is disseminated to its audience, providing insights into evolving programming techniques, software engineering challenges, and innovative solutions. With its convergence of years extending to 2024, PROGRAMMING AND COMPUTER SOFTWARE remains a pivotal publication, fostering a deeper understanding of the complexities in computer programming while supporting the broader software community.

Journal of Mathematical Extension, published by Islamic Azad University, Shiraz Branch, is a leading section in the field of mathematics, dedicated to the dissemination of innovative research and theories since its establishment. With an Open Access model adopted in 2006, the journal provides a platform for researchers and scholars worldwide to share their findings, ensuring that knowledge is accessible to all. The journal focuses on a wide array of topics within the mathematical sciences, promoting interdisciplinary studies that connect mathematics to real-world applications. As a repository of cutting-edge research, Journal of Mathematical Extension is essential for academics, practitioners, and students alike, contributing to the advancement of mathematical understanding and its practical uses in various domains. Located in Shiraz, Iran, this journal embodies the commitment to nurturing a global community of mathematicians and researchers striving for excellence in the field.

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.

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.

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.

Theoretical Computer Science, published by Elsevier, serves as a pivotal platform in the field of computational theory, exploring the foundational aspects of computer science and mathematical logic since its inception in 1975. With both a print ISSN of 0304-3975 and an E-ISSN of 1879-2294, this journal is esteemed for its rigorous peer-review process and commitment to advancing knowledge in theoretical frameworks and algorithms. Positioned in the Q2 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories, it ranks #124 out of 232 in general computer science and #73 out of 130 in theoretical computer science according to Scopus metrics, reflecting its significant influence and reach within the academic community. Researchers and professionals can access this journal through institutional subscriptions, providing a plethora of high-quality articles that contribute to ongoing debates and developments in the discipline. The journal's scope encompasses a wide array of topics, ensuring relevance across various subfields, thus making it an essential resource for anyone dedicated to furthering their understanding of theoretical computer science.

OPTIMIZATION is a distinguished scholarly journal published by TAYLOR & FRANCIS LTD, catering to the vibrant fields of Applied Mathematics, Control and Optimization, and Management Science and Operations Research. With an ISSN of 0233-1934 and an E-ISSN of 1029-4945, this journal serves as a crucial platform for researchers, practitioners, and students alike, presenting cutting-edge research and innovative methodologies since its inception in 1985. With its current standing in the Q2 category across multiple fields as of 2023, OPTIMIZATION underscores its impact and relevance in the academic community, attracting high-quality contributions and fostering knowledge dissemination. Though it operates under a traditional access model, the journal ensures that its rigorous peer-reviewed content remains accessible to a wide audience, reflecting the latest advancements in optimization techniques and their applications in real-world scenarios. Whether you’re looking to deepen your understanding of optimization principles or apply these insights within your own research, OPTIMIZATION is an essential resource for advancing your knowledge and expertise in this dynamic field.

FUNDAMENTA INFORMATICAE is a distinguished academic journal published by IOS PRESS, focusing on the critical intersection of informatics, mathematics, and computer science. Since its inception in 1988, this journal has served as a vital resource for researchers and professionals alike, providing a platform for innovative studies in Algebra and Number Theory, Computational Theory and Mathematics, Information Systems, and Theoretical Computer Science. With an impressive HIndex, and ranking in the Q3 and Q4 categories across various disciplines as of 2023, it underscores its contribution and relevance in advancing the body of knowledge in these fields. The journal's commitment to excellence is reflected not only in its rigorous peer-review process but also in its notable rankings on Scopus, which positions it favorably among its peers. Though not yet available as an open access journal, FUNDAMENTA INFORMATICAE remains a crucial academic venue for authors wishing to disseminate their findings to a global audience, promoting collaboration and further research within the scientific community.