Journal Title：Journal Of Logic And Computation

Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.

The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as 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 bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

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

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

Journal Of Logic And Computation創(chuàng)刊于1990年，由Oxford University Press出版商出版，收稿方向涵蓋工程技術(shù) - 計算機：理論方法全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細分領(lǐng)域中專業(yè)影響力一般，過審相對較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機率較高。平均審稿速度 較慢,6-12周 ，影響因子指數(shù)0.7，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。