Journal of Logic and Computation

Journal of Logic and Computation (commonly abbreviated as J. Log. Comput.) is a journal at the meeting point of logic and computing published by Oxford University Press. Established in 1990, it appears bimonthly, with a 2025 impact factor of 0.7.Journal of Logic and Computation（常用缩写 J. Log. Comput.）是牛津大学出版社出版的逻辑与计算交叉期刊，1990 年创刊，为双月刊，2025 年影响因子为 0.7。^[1]

Scope

• Scope: the journal aims to promote the growth of logic and computing, taking in logical systems such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory and feasible mathematics.学科定位： 期刊旨在推动逻辑与计算的共同生长，收稿方向包括经典与非经典逻辑、构造性逻辑、范畴逻辑、模态逻辑、类型论与可行数学等逻辑系统。
• Subject coverage: it spans logical issues in logic programming, knowledge-based systems and automated reasoning, 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, and applications of logic in hardware, natural language, concurrent computation, planning and databases.收录主题： 覆盖逻辑程序设计、知识库系统与自动推理中的逻辑问题；知识表示方向如非单调推理与知识和信念系统；程序设计逻辑与语义；程序与系统的规约和验证；以及逻辑在硬件、自然语言、并发计算、规划与数据库中的应用。
• Publishing form: the journal is published by Oxford University Press under licence from its owner, with the bulk of the content technical in nature.出版形态： 期刊由牛津大学出版社获期刊所有人授权出版，主体内容为技术性论文。
• Publishing model: the journal is hybrid, with an open access option available.出版模式： 期刊为混合型，支持开放获取发表选项。
• Indexing and metrics: indexed in the Science Citation Index Expanded, the journal holds a second-quartile position in computer science theory and methods, with a 2025 impact factor of 0.7 and a CiteScore of 1.8.收录与指标： 被科学引文索引扩展版收录，在计算机理论与方法类别中列第二区，2025 年影响因子为 0.7，CiteScore 为 1.8。^[2]

History

• Founded in 1990: the journal was launched in 1990, in the years when non-classical logic and automated reasoning were expanding rapidly.1990年创刊： 期刊于 1990 年创刊，恰逢非经典逻辑与自动推理蓬勃发展的年代。
• Founding editor: the founding editor-in-chief is Dov M. Gabbay, and the journal is published under licence from him as its owner.创办主编： 创始主编为 Dov M. Gabbay，期刊至今由其作为所有人授权出版。
• Special issue practice: themed calls run regularly, as with the proof-theoretic semantics and computation issue closing in March 2026.专号传统： 期刊定期组织专题征稿，如「证明论语义与计算」专号以 2026 年 3 月为截稿期。
• Recent metrics: the impact factor stood at 0.803 in 2019, 0.7 in 2022 and 0.7 in 2025.近年指标： 影响因子 2019 年为 0.803，2022 年为 0.7，2025 年为 0.7。
• Frequency: the journal appears bimonthly, with volume 36 running in 2026.刊期： 期刊为双月刊，2026 年已出版至第 36 卷。^[3]

Editors

• Founding editor: the founding editor-in-chief is Dov M. Gabbay, a leading figure of non-monotonic and temporal logic.创始主编： 创始主编为 Dov M. Gabbay，非单调逻辑与时间逻辑方向的代表学者。
• Editorial board: the board spans logical systems, automated reasoning and program semantics, linking into communities such as ACM SIGLOG.编委构成： 编委会覆盖逻辑系统、自动推理与程序语义等方向，学术共同体与 ACM SIGLOG 等组织相互衔接。
• Submission and peer review: manuscripts are lodged through the Oxford Academic platform and undergo peer review.投稿与评审： 稿件经牛津学术平台递交，接受同行评审。^[4]
• Editorial policy: the journal prizes results that genuinely bridge logic and computing, welcoming papers that build theory and apply formal methods alike.编辑方针： 期刊偏好逻辑与计算实质贯通的成果，欢迎理论建设与形式方法应用并举的论文。
• Open access: roughly a quarter of the journal's output is open access, with a paid option for authors.开放获取： 期刊开放获取比例约四分之一，作者可选择付费开放。