Journal Of Logic And Computation

雜志介紹

Journal Of Logic And Computation雜志介紹

《Journal Of Logic And Computation》是一本以English為主的未開放獲取國際優秀期刊，中文名稱邏輯與計算雜志，本刊主要出版、報道數學-COMPUTER SCIENCE, THEORY & METHODS領域的研究動態以及在該領域取得的各方面的經驗和科研成果，介紹該領域有關本專業的最新進展，探討行業發展的思路和方法，以促進學術信息交流，提高行業發展。該刊已被國際權威數據庫SCIE收錄，為該領域相關學科的發展起到了良好的推動作用，也得到了本專業人員的廣泛認可。該刊最新影響因子為0.7，最新CiteScore 指數為1.9。

本刊近期中國學者發表的論文主要有：

• Sahlqvist correspondence theory for second-order propositional modal logic

  Author: Zhao, Zhiguang

• Integrating individual preferences into collective argumentation

  Author: Li, Chonghui; Liao, Beishui

• Game equivalence and expressive power of game description languages: a bisimulation approach

  Author: Jiang, Guifei; Perrussel, Laurent; Zhang, Dongmo; Zhang, Heng; Zhang, Yuzhi

• Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks

  Author: Chen, Weiwei

英文介紹

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.