《Journal Of Logic And Computation》出版語言：English，具體論文語言需根據相關征稿要求而定，可聯系雜志社或在線客服。

該雜志是一本由Oxford University Press出版的國際知名學術期刊，創刊于1990年，出版語言：English，專注于工程技術-計算機：理論方法領域，重點介紹工程技術-計算機：理論方法的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。

邏輯幾乎應用于信息技術的所有方面，從軟件工程和硬件到編程和人工智能。事實上，邏輯、人工智能和理論計算相互影響，以至于一個新的跨學科領域“邏輯與計算”正在興起。

《邏輯與計算雜志》旨在促進邏輯和計算的發展，其中包括以下感興趣的領域：邏輯系統，例如經典和非經典邏輯、構造邏輯、范疇邏輯、模態邏輯、類型理論、可行數學……邏輯編程、知識型系統和自動推理中的邏輯問題；知識表示中的邏輯問題，例如非單調推理和知識與信念系統；編程的邏輯和語義；程序和系統的規范和驗證；邏輯在硬件和 VLSI、自然語言、并發計算、規劃和數據庫中的應用。大部分內容是技術科學論文，但也包括信件、評論和討論以及相關的會議評論。

此外，關于《Journal Of Logic And Computation》的數據統計如下：

（1）JCR分區信息：按JIF指標學科分區：Q3，按JCI指標學科分區：Q2

（2）Cite Score（2024年最新版）

（3）在中科院分區表中，大類學科中數學為：4區，小類學科中COMPUTER SCIENCE, THEORY & METHODS工程技術-計算機：理論方法：4區

聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。