《Journal Of Logic And Computation》重点专注发布工程技术-计算机:理论方法领域的新研究,旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今,在工程技术-计算机:理论方法领域,有较高影响力,对来稿文章质量要求较高,稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。
| CiteScore | SJR | SNIP | CiteScore排名 | |||
|---|---|---|---|---|---|---|
| 1.9 | 0.472 | 1.062 | 学科类别 | 分区 | 排名 | 百分位 |
|
大类:ArtsandHumanities
小类:ArtsandHumanities(miscellaneous)
|
Q2 | 169/552 |
69%
|
|||
|
大类:ArtsandHumanities
小类:Logic
|
Q2 | 16/41 |
62%
|
|||
|
大类:ArtsandHumanities
小类:TheoreticalComputerScience
|
Q3 | 96/130 |
26%
|
|||
|
大类:ArtsandHumanities
小类:HardwareandArchitecture
|
Q4 | 138/177 |
22%
|
|||
|
大类:ArtsandHumanities
小类:Software
|
Q4 | 324/407 |
20%
|
|||
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 学科:LOGIC | SCIE | Q1 | 4 / 25 |
86%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 61 / 143 |
57.69%
|
| 学科:LOGIC | SCIE | Q3 | 14 / 25 |
46%
|
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
|---|---|---|---|
| 否 | 否 |
数学
4区
|
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区
|
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
|---|---|---|---|
| 否 | 否 |
计算机科学
4区
|
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区
|
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
|---|---|---|---|
| 否 | 否 |
计算机科学
4区
|
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区
|
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
|---|---|---|---|
| 否 | 否 |
工程技术
4区
|
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区
|
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
|---|---|---|---|
| 否 | 否 |
计算机科学
4区
|
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区
|
| Top期刊 | 综述期刊 | 大类学科 | 小类学科 |
|---|---|---|---|
| 否 | 否 |
计算机科学
3区
|
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
3区
|
文章名称
引用次数
Normative reasoning by sequent-based argumentation
3
Reasoning with maximal consistency by argumentative approaches
3
Coalition logic with individual, distributed and common knowledge
3
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive
2
On an intuitionistic logic for pragmatics
2
Logics based on linear orders of contaminating values
2
Taking the path computably traveled
2
Satisfiability for relation-changing logics
2
Modal logics of sabotage revisited
2
Symbolic model checking for Dynamic Epistemic Logic-S5 and beyond
2
国家/地区
发文量
USA
43
England
23
GERMANY (FED REP GER)
23
Italy
22
France
21
Netherlands
18
CHINA MAINLAND
14
Japan
11
Austria
10
Russia
9
稿件预审
润色编辑
格式修订
深度评估
排版协助
发表见刊