逻辑几乎在信息技术的所有方面都得到了应用，从软件工程和硬件到编程和人工智能。事实上，逻辑、人工智能和理论计算相互影响，一个新的跨学科的逻辑和计算领域正在出现。《逻辑与计算》杂志旨在促进逻辑与计算的发展，其中包括以下几个领域的兴趣:逻辑系统，如古典与非古典逻辑、建构逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、基于知识的系统和自动推理中的逻辑问题;知识表示中的逻辑问题，如非单调推理和知识信念系统;编程的逻辑和语义;程序和系统的说明和验证;逻辑在硬件和超大规模集成电路、自然语言、并行计算、规划和数据库中的应用。大部分内容是技术科学论文，不过也包括信件、评论、讨论以及相关的会议评论。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q4 | LOGIC | Q4 | 0.509 |
| COMPUTER SCIENCE, THEORY & METHODS | Q4 |
* 请认真填写需求信息，我们会在24小时内与您取得联系。
