雜志介紹

Journal Of Logic And Computation雜志介紹

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

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

• 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.