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.

Welcome to Filosofiya-Philosophy, an esteemed academic journal dedicated to advancing the field of philosophical inquiry. Published by NATSIONALNO IZDATELSTVO AZ BUKI, this journal aims to foster scholarly exchange and promote critical discussions on various philosophical themes and issues, including but not limited to metaphysics, ethics, logic, and epistemology. With its commitment to rigorous research and thought-provoking analyses, Filosofiya-Philosophy seeks to engage researchers, professionals, and students alike, enriching the discourse surrounding philosophical studies. Although currently not an open-access journal, it provides valuable insights that are crucial for the continuous exploration of philosophical ideas. Based in Sofia, Bulgaria, it plays a vital role in the dissemination of philosophical knowledge, inviting submissions from around the globe to enhance its academic community and further its impact in the realm of philosophy.

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.

Theoria - A Swedish Journal of Philosophy, published by WILEY, stands as a significant contributor to the realm of philosophical discourse since its inception in 1935, with a continued commitment to advancing scholarly conversation up to 2024. With its ISSN 0040-5825 and E-ISSN 1755-2567, the journal holds a prestigious position in the field, ranking in Q2 among philosophy journals and achieving an impressive 66th percentile ranking in the Scopus Arts and Humanities category. Although it does not currently provide Open Access options, Theoria remains a vital resource for researchers, professionals, and students seeking in-depth analyses and innovative perspectives within contemporary philosophy. Its central objective is to foster rigorous academic dialogue that explores diverse philosophical inquiries, making it an essential platform for those invested in the pursuit of knowledge and critical thought.

The Journal of Logical and Algebraic Methods in Programming (ISSN: 2352-2208, E-ISSN: 2352-2216) is a prestigious publication by Elsevier Science Inc, dedicated to advancing the fields of computational theory, programming logic, and mathematical methodologies. Esteemed in its commitment to high-quality research, this journal holds a Q2 ranking in 2023 for Computational Theory and Mathematics, and is recognized in various other disciplines including Logic and Software Studies. The journal’s open access policy enhances its visibility and accessibility, ensuring that cutting-edge research reaches a wider audience of researchers, professionals, and students. With an impressive convergence timeline from 2014 to 2025, it is a vital resource for those seeking to explore innovative algorithms and their applications in diverse areas of informatics. The Journal of Logical and Algebraic Methods in Programming represents a unique intersection of logic, mathematics, and software, carving a significant place in the scholarly discourse of theoretical computer science.

Australasian Journal of Philosophy, published by Routledge Journals, Taylor & Francis Ltd, serves as a premier platform for scholarly discourse in the field of Philosophy. With its origins dating back to 1947, this esteemed journal maintains a rich tradition of fostering high-quality, peer-reviewed research and is recognized for its significant contribution to the philosophy community. Holding a distinguished Q1 ranking in the field for 2023 and standing at #75 out of 806 in the Scopus Arts and Humanities ranking, it occupies a vital niche in advancing philosophical knowledge and inquiry. Although the journal is not open access, it periodically offers articles that contribute to the dissemination of philosophical thought, making it a valuable resource for researchers, professionals, and students alike. The AUSTRALASIAN JOURNAL OF PHILOSOPHY continues to inspire and challenge thinkers worldwide as it presents critical analyses, innovative ideas, and rigorous arguments, ensuring its relevance and importance in contemporary philosophical discussions.

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.

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.

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.

History of Philosophy & Logical Analysis, published by BRILL, is an esteemed journal dedicated to the exploration and critical examination of philosophical thought and its logical structures. With an ISSN of 2666-4283 and an E-ISSN of 2666-4275, this journal serves as a vital platform for scholars in the fields of philosophy and the history of science. Based in the Netherlands, at Plantijnstraat 2, P O Box 9000, 2300 PA Leiden, Netherlands, the journal operates without open access, ensuring a curated selection of high-quality research outputs. Recognized for its scholarly impact, it holds a Q3 ranking in *History and Philosophy of Science* and a Q2 ranking in *Philosophy* as of 2023. Covering a broad spectrum of topics related to logical analysis and philosophical inquiry, the journal aims to connect contemporary philosophical debates with historical perspectives. It supports researchers, professionals, and students alike in their quest for knowledge and understanding within these critical domains.