Publishing with Journal of Logic and Computation

Journal of Logic and Computation is an online only journal aiming to promote the growth of logic and computing in a wide range of areas. Learn more about the benefits of publishing with us.

Readership and global reach

Journal of Logic and Computation has a global readership, and articles were read by over 17,800 researchers based in all continents in 2023 - demonstrating that work published in the journal truly has global reach and impact.

Editorial Board

Led by Founding Editor-in-Chief Professor Dov Gabbay, the journal has as an experienced, geographically diverse editorial board, who supports the international reach of your work.

Members of the editorial team are recruited and appointed based on their expertise, ensuring that the journal publishes high-quality content, operates ethically, and provides a welcoming publishing outlet for authors from all backgrounds and at all stages of their career.

High Impact

Journal of Logic and Computation continuously publishes innovative research and has a highly cited collection, featuring a sample of outstanding articles published in the journal.

Peer Review

Journal of Logic and Computation practices single-anonymised peer review, which provides your research with honest and genuine reviews by anonymous reviewers.

The Editors take great pride in providing an efficient and high-quality review process to the journal’s authors. Where articles are sent out for full review, authors receive careful reports and feedback.

Range of content

Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, in the following areas of interest:

• Logical Systems

  • classical and non-classical logic

  • constructive logic

  • categorical logic

  • modal logic

  • type theory

  • feasible maths

• Logical issues in logic programming, knowledge-based systems and automated reasoning

• Logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief

• Logics and semantics of programming

• Specification and verification of programs and systems

• Applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases.

The journal offers a variety of article types including:

• Technical scientific papers

• Letters

• Reviews

• Discussions

• Relevant conference reviews

‘Corner’ Articles

Journal of Logic and Computation publishes ‘Corner’ articles that cover hot and important frontline topics. ‘Corner’ articles function as a family of related open-ended special issues stretched linearly over time. See the topics covered here.

Format free submissions

Submissions – both regular papers and ‘corner’ articles – can be sent in PDF format directly to Jane Spurr. Contributions will be acknowledged in all cases; referees' comments and the decision of the Editorial Board will be forwarded to contributors as soon as possible after submission. Author support is available via the Oxford University Press Author Resource Centre.

Open access options

Journal of Logic and Computation offers authors the opportunity to publish their work open-access – find out more about open access options. Find out if you can publish open access in the journal for free as part of your institution’s inclusion in a read-and-publish agreement with Oxford University Press. 

Ready to Submit?

We hope you consider submitting your research to Journal of Logic and Computation. Here are the next steps you can take:

• Review the instructions to authors for information on journal policies and manuscript preparation
• Sign up for e-alerts to stay up to date on any journal announcements