Journal of Logic and Computation《逻辑与计算杂志》 （）

等待设置主要研究方向

计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机：理论方法；LOGIC逻辑学。重点关注以下研究方向：逻辑系统（如经典与非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型论、可行数学等）；逻辑编程、知识系统与自动推理中的逻辑问题；知识表示中的逻辑议题（如非单调推理、知识与信念系统）；程序设计的逻辑与语义学；程序与系统的形式化规约与验证；逻辑在硬件与超大规模集成电路、自然语言处理、并行计算、规划及数据库等领域的应用。