Author Guidelines

  1. Scope and Topics

Logical Techniques in Computer Science publishes original research articles, review papers, technical notes, and case studies that focus on the theoretical foundations and practical applications of logic in computer science. We invite contributions from various subfields of computer science where logic plays a significant role, including, but not limited to:

  • Formal Logic: Propositional, predicate, modal, and other types of logic.
  • Automated Theorem Proving: Techniques and tools for automated reasoning and verification.
  • Programming Languages and Semantics: Logical foundations of programming languages, type systems, and formal semantics.
  • Logic in Artificial Intelligence: Applications of logic to AI, including knowledge representation, reasoning, and decision-making.
  • Model Checking: Techniques for verifying properties of systems using logical methods.
  • Logic in Computation: Computational complexity, logic-based algorithms, and decidability.
  • Concurrency and Distributed Systems: Logical approaches to reasoning about concurrency, synchronization, and distributed systems.
  • Verification and Validation: Logical methods for verifying and validating software and hardware systems.
  • Quantum Computing and Logic: Logical techniques for quantum algorithms and systems.
  • Logic for Database Theory and Information Retrieval: Logical methods in databases, information retrieval, and query optimization.

We welcome both theoretical and applied papers, with an emphasis on novel and innovative approaches to logic in computer science.

  1. Types of Manuscripts

The journal accepts the following types of manuscripts:

  • Original Research Articles: Full-length research articles presenting original and significant contributions to the theory or practice of logic in computer science.
  • Review Articles: Comprehensive reviews summarizing the state-of-the-art in logical techniques and their applications.
  • Technical Notes: Short communications or updates on recent developments or new techniques.
  • Case Studies: Practical applications or implementations of logical techniques in real-world computer science scenarios.
  • Letters to the Editor: Short commentaries or responses to recent papers published in the journal.
  1. Manuscript Preparation

Manuscripts should be prepared in English and adhere to the following structure:

Title Page

  • Title: A clear, concise, and descriptive title that reflects the content of the manuscript.
  • Authors: Full names, affiliations, and email addresses of all authors.
  • Corresponding Author: The contact details of the corresponding author, including email address and phone number.
  • Keywords: 4-6 keywords that describe the research and help with indexing and search.

Abstract

  • The abstract should summarize the background, methods, results, and conclusions of the study.
  • It should be between 150-250 words, without references, tables, or figures.

Main Text

The main manuscript should be organized into the following sections:

  • Introduction: Provide context for the research, outlining the problem, the motivation behind the study, and relevant prior work.
  • Related Work: Discuss relevant literature and research that has contributed to the field. Highlight gaps your research addresses.
  • Methodology: Provide a detailed description of the theoretical and/or computational techniques used, including algorithms, models, and tools.
  • Results: Present the findings of the study with appropriate use of figures, tables, and statistical analysis.
  • Discussion: Discuss the implications of the results, how they compare to previous work, and potential future research directions.
  • Conclusion: Summarize the contributions of the study and provide a final assessment of its significance.

Figures and Tables

  • All figures and tables should be clearly numbered and referenced in the text (e.g., Figure 1, Table 1).
  • Each figure or table should have a concise and descriptive caption.
  • Figures should be submitted in high-resolution formats (300 dpi or higher) and in .jpg, .png, .tiff, or .pdf formats.
  • Tables should be formatted clearly and include units where applicable.

References

  • References should be formatted according to the journal's preferred style (e.g., IEEE, APA, or Chicago style).
  • Ensure that references are up-to-date, complete, and correctly cited in both the text and the reference list.
  • The reference list should include all sources cited in the manuscript, including books, journal articles, conference papers, and other reliable publications.
  1. Submission Process

All manuscripts must be submitted electronically through the journal's online submission system. Authors must create an account to submit their manuscripts. During the submission process, authors will be asked to provide the following:

  • Conflict of Interest: A statement regarding any potential conflicts of interest, including financial, personal, or professional relationships.
  • Ethical Approval: If the research involves human participants or animals, authors must provide a statement of ethical approval and informed consent.
  • Data Availability: Authors must indicate whether the data used in their research is publicly available, and if not, how it can be accessed.
  1. Ethical Guidelines
  • Plagiarism: Manuscripts must be original and free of plagiarism. The journal uses plagiarism detection tools to ensure the originality of submissions.
  • Data Integrity: Authors must ensure that the data presented in the manuscript is accurate and reliable. Any form of data manipulation or falsification will lead to immediate rejection.
  • Human and Animal Rights: Research involving human participants or animals must adhere to ethical guidelines, and the manuscript must include statements of ethical approval and informed consent when applicable.
  • Conflict of Interest: Authors are required to disclose any financial, professional, or personal conflicts that may have influenced the research.
  1. Copyright and Licensing

Upon acceptance, authors will be required to transfer the copyright of their article to the publisher. The journal follows an Open Access policy, making all articles freely available to the public immediately upon publication. Articles are published under the Creative Commons Attribution-NonCommercial-ShareAlike (CC BY-NC-SA) license, which allows others to share, remix, and build upon the work as long as proper credit is given, and the use is non-commercial.

  1. Additional Information
  • Manuscripts that do not conform to the journal’s guidelines will be returned to the authors for revision.
  • The journal reserves the right to make necessary editorial revisions for clarity, style, and format consistency.
  • If you have any questions or need assistance, please contact the editorial office at [email address].
  1. Submission Checklist

Before submitting your manuscript, please ensure the following:

  • The manuscript is formatted according to the journal's guidelines.
  • All authors have reviewed and approved the final manuscript.
  • Figures and tables are included and correctly formatted.
  • References are complete and correctly cited.
  • Ethical approval and conflict of interest disclosures are provided.

We look forward to receiving your manuscript and thank you for contributing to the advancement of logical techniques in computer science.