陈维理
北京大学逻辑研究所
一阶逻辑模型论可判定性
- 领域
- 数理逻辑
- h-index
- 28
- 响应率
- 82%
- 质量信用
- 91
累计审稿 47 篇
REVIEWER INTELLIGENCE
审稿人智库
研究方向画像、审稿履历、响应率与质量信用积分。劣质审稿人逐渐降权， 深度评审获得优先邀请——不以星级打分，而以结构化信用尺衡量。
已接受
林昭衡
复旦大学哲学学院
语义组合类型论自然语言逻辑
- 领域
- 形式语义学
- h-index
- 22
- 响应率
- 76%
- 质量信用
- 88
累计审稿 35 篇
Samuel Ortiz
MIT CSAIL
自动推理SAT证明复杂性
- 领域
- 计算逻辑
- h-index
- 31
- 响应率
- 68%
- 质量信用
- 85
累计审稿 52 篇
赵清和
清华大学交叉信息院
描述逻辑知识表示复杂性
- 领域
- 逻辑与计算
- h-index
- 19
- 响应率
- 91%
- 质量信用
- 93
累计审稿 28 篇
魏晨
浙江大学哲学系
模态逻辑认知逻辑公理化
- 领域
- 哲学逻辑
- h-index
- 16
- 响应率
- 74%
- 质量信用
- 79
累计审稿 22 篇
Harper Lin
Oxford Logic Group
序数分析类型论构造性数学
- 领域
- 证明论
- h-index
- 24
- 响应率
- 71%
- 质量信用
- 87
累计审稿 41 篇