JOURNAL OF LOGIC AND COMPUTATION

Scope & Guideline

Pioneering Insights in Logic and Computational Science

Introduction

Welcome to your portal for understanding JOURNAL OF LOGIC AND COMPUTATION, featuring guidelines for its aims and scope. Our guidelines cover trending and emerging topics, identifying the forefront of research. Additionally, we track declining topics, offering insights into areas experiencing reduced scholarly attention. Key highlights include highly cited topics and recently published papers, curated within these guidelines to assist you in navigating influential academic dialogues.
LanguageEnglish
ISSN0955-792x
PublisherOXFORD UNIV PRESS
Support Open AccessNo
CountryUnited Kingdom
TypeJournal
Convergefrom 1990 to 2024
AbbreviationJ LOGIC COMPUT / J. Logic Comput.
Frequency6 issues/year
Time To First Decision-
Time To Acceptance-
Acceptance Rate-
Home Page-
AddressGREAT CLARENDON ST, OXFORD OX2 6DP, ENGLAND

Aims and Scopes

The Journal of Logic and Computation primarily focuses on the intersection of logic, computational theory, and their applications in various domains. The journal aims to publish high-quality research that advances the understanding of logical systems, computational models, and their interplay.
  1. Logical Foundations:
    The journal emphasizes foundational studies in various logical systems, including modal logic, intuitionistic logic, and non-classical logics. This includes exploring properties, axiomatizations, and semantic frameworks.
  2. Computational Logic:
    Research on computational aspects of logic, including algorithmic properties of logical systems, proof theory, and complexity theory, is a key focus area. This encompasses the study of decidability, complexity classes, and algorithmic methods in logic.
  3. Applications of Logic in AI and Computer Science:
    The journal encourages submissions that explore the application of logical frameworks in artificial intelligence, multi-agent systems, and computational models, highlighting the practical implications of theoretical findings.
  4. Argumentation Theory:
    A significant portion of the journal's output is dedicated to argumentation frameworks, focusing on formal models of argumentation, attack and defense relations, and their computational properties.
  5. Dynamic and Temporal Logic:
    The exploration of dynamic logics, especially in the context of temporal reasoning and state changes, is a recurring theme, reflecting the journal's commitment to studying logic in evolving systems.
The Journal of Logic and Computation is witnessing emerging themes that reflect current trends in logic and computation research. These areas signal a shift toward more complex and application-oriented studies.
  1. Integration of Logic and Machine Learning:
    There is a growing trend in combining logical frameworks with machine learning techniques, particularly in areas such as knowledge representation and reasoning in AI systems.
  2. Advanced Argumentation Frameworks:
    Emerging research on nuanced argumentation frameworks, including those that incorporate uncertainty, dynamics, and contextual factors, is gaining prominence, reflecting the need for more sophisticated models.
  3. Temporal and Dynamic Reasoning:
    Increased focus on temporal and dynamic logics suggests a shift towards understanding how logic can model changes over time and state transitions in computational systems.
  4. Non-Classical Logics and Their Applications:
    There is a notable rise in studies exploring non-classical logics, such as paraconsistent and fuzzy logics, particularly in their applications to real-world problems in AI and decision-making.
  5. Computational Complexity of Logical Systems:
    Research exploring the computational complexity associated with various logical systems is becoming more prevalent, signifying an increased interest in understanding the limits of decidability and efficiency.

Declining or Waning

While the Journal of Logic and Computation has maintained a broad scope, certain themes have shown signs of declining prominence over recent years. These waning areas reflect shifts in research focus or decreased interest in specific topics.
  1. Classical Logic Systems:
    Research centered on traditional classical logic systems appears to be declining, as newer, more complex logics gain traction. There is less emphasis on foundational studies of classical propositional and predicate logic.
  2. Static Models of Argumentation:
    There seems to be a waning interest in static models of argumentation frameworks, with a shift towards dynamic and adaptive models that better reflect real-world applications.
  3. Elementary Proof Techniques:
    Research that focuses solely on elementary proof techniques, without integrating computational aspects or applications, is becoming less frequent, indicating a trend towards more interdisciplinary approaches.

Similar Journals

Logic and Logical Philosophy

Advancing Philosophical Inquiry through Logic
Publisher: NICOLAUS COPERNICUS UNIV TORUNISSN: 1425-3305Frequency: 4 issues/year

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.

Argument & Computation

Connecting Disciplines: From Argumentation to Application
Publisher: IOS PRESSISSN: 1946-2166Frequency: 3 issues/year

Argument & Computation is an esteemed academic journal dedicated to the interdisciplinary exploration of formal structures of argumentation and their computational applications. Published by IOS PRESS based in the United Kingdom, this Open Access journal, since its inception in 2010 and particularly impactful since 2016, serves as a pivotal platform for researchers and practitioners seeking to advance the fields of Artificial Intelligence, Computational Mathematics, Computer Science Applications, and Linguistics. With its current categorization in Q3 in Artificial Intelligence, Q2 in Computational Mathematics, and Q1 in Linguistics and Language for 2023, the journal maintains a commendable position within the scholarly community, evidenced by its high Scopus rankings, notably in Linguistics and Language where it ranks in the 92nd percentile. By fostering innovative research and discussions, Argument & Computation plays an essential role in bridging theoretical insights with computational practices, making it indispensable for academics, students, and professionals invested in the evolution of argumentation frameworks and their implications in technology and society.

LOGIC JOURNAL OF THE IGPL

Illuminating the Nuances of Formal Systems
Publisher: OXFORD UNIV PRESSISSN: 1367-0751Frequency: 6 issues/year

LOGIC JOURNAL OF THE IGPL, published by Oxford University Press, stands as a prominent outlet for scholarly work in the field of logic and philosophy. With its ISSN 1367-0751 and E-ISSN 1368-9894, this journal has been a pivotal platform since its inception, covering critical developments in logical theory, methodology, and applications as well as fostering interdisciplinary dialogue with philosophical inquiries. The journal's impressive ranking in the 2023 Scopus metrics, placing it in the 76th percentile for Mathematics - Logic and categorized in Q2 in Philosophy, underscores its significant impact and relevance. Researchers, professionals, and students alike will benefit from its rich repository of innovative ideas and perspectives, with access options that afford a greater reach to the academic community as well as a commitment to advancing the field until 2024 and beyond. Whether you're exploring the nuances of formal systems or the implications of logic in philosophical contexts, the LOGIC JOURNAL OF THE IGPL offers essential insights that contribute to the ongoing discourse.

ARCHIVE FOR MATHEMATICAL LOGIC

Connecting Historical Context to Contemporary Logic
Publisher: SPRINGER HEIDELBERGISSN: 0933-5846Frequency: 8 issues/year

Archive for Mathematical Logic, published by Springer Heidelberg, is a distinguished academic journal that delves into the intricate realms of mathematical logic and its philosophical implications. With an ISSN of 0933-5846 and an E-ISSN of 1432-0665, this journal is recognized for its rigorous peer-reviewed articles that contribute significantly to the understanding of logical frameworks. As of 2023, it has achieved a commendable Q2 ranking in Logic and a prestigious Q1 ranking in Philosophy, reflecting its impact within these intellectual fields. Operating from the United States with a publishing address in Heidelberg, Germany, the journal encompasses research spanning from 1988 to 2024, providing a rich historical context to contemporary discussions. With its robust Scopus rankings, it stands at the 70th percentile in Arts and Humanities - Philosophy and holds a notable ranking in Mathematics - Logic, further underscoring its relevance. While it is not an open-access journal, it remains vital for researchers, professionals, and students seeking to advance their knowledge and engage with cutting-edge discussions in mathematical logic and its philosophical applications.

Review of Symbolic Logic

Illuminating the Path of Symbolic Inquiry
Publisher: CAMBRIDGE UNIV PRESSISSN: 1755-0203Frequency: 4 issues/year

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.

Reports on Mathematical Logic

Illuminating the Path of Mathematical Inquiry
Publisher: JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPTISSN: 0137-2904Frequency: 1 issue/year

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.

ACTA INFORMATICA

Pioneering Research for a Digital Future.
Publisher: SPRINGERISSN: 0001-5903Frequency: 8 issues/year

ACTA INFORMATICA is a prestigious academic journal published by Springer, dedicated to advancing the fields of computer networks and communications, information systems, and software engineering. With an ISSN of 0001-5903 and an E-ISSN of 1432-0525, the journal has continued to thrive since its inception in 1971 and is set to cover research up until 2024. Although it currently operates within a Q3 category in its respective fields, it is recognized for providing a platform for high-quality, peer-reviewed research, which is essential for fostering innovation and knowledge dissemination in computer science. While it does not offer an open access option, scholars benefit from its rigorous editorial standards and comprehensive coverage of significant trends and methodologies. The journal is conveniently based in New York, NY, USA, further enhancing its accessibility to a global audience. Researchers, professionals, and students alike will find ACTA INFORMATICA a valuable resource for staying abreast of the latest developments and breakthroughs in this vital area of study.

ACM Transactions on Computational Logic

Advancing the Frontiers of Computational Logic
Publisher: ASSOC COMPUTING MACHINERYISSN: 1529-3785Frequency: 4 issues/year

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.

HISTORY AND PHILOSOPHY OF LOGIC

Advancing Insights into Logic's Legacy
Publisher: TAYLOR & FRANCIS LTDISSN: 0144-5340Frequency: 4 issues/year

HISTORY AND PHILOSOPHY OF LOGIC is a prestigious journal published by Taylor & Francis Ltd, focusing on the intricate relationships between historical contexts and philosophical inquiries within the realm of logic. With its ISSN 0144-5340 and E-ISSN 1464-5149, the journal has established itself as a vital academic resource since its inception in 1980 and will continue to contribute to the field until 2024. It holds an impressive status, ranking in the Q1 category in History and Q2 in History and Philosophy of Science according to the 2023 category quartiles. This journal is recognized for its high-impact research, achieving notable positions in Scopus ranks, including 80th percentile in Arts and Humanities - History and 58th percentile in History and Philosophy of Science. Although it does not offer open access, it remains a crucial platform for scholars, researchers, and students aiming to explore and advance knowledge at the intersection of logic's history and its philosophical implications.

JOURNAL OF SYMBOLIC LOGIC

Challenging Conventional Thought Through Rigorous Research
Publisher: CAMBRIDGE UNIV PRESSISSN: 0022-4812Frequency: 4 issues/year

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.