REVIEW WORKBENCH
评审作业间
结构化评审意见模板、时限管理与催审策略。双栏批注排版， 批注锚点与稿件原文联动——每一份意见是一份署有信用印的评议状。
PG-2025-017
外审中论一阶逻辑系统的表达力极限
1. 引言
一阶逻辑在有限模型上的表达力一直是数理逻辑的核心议题。A1本文在现有结果基础上，进一步讨论特定片段的可定义性边界……
2. 主要结果
定理 1.1. 设 L 为一阶逻辑的标准片段，则存在有限结构C2使得……
结构化批注
审稿任务
- 陈维理已提交
截止 2025-08-11 07:59 · 提交 2025-08-09 00:20
推荐：小修后接受
具体性 88 · 依据 92
论一阶逻辑系统的表达力极限…
- Harper Lin已逾期
截止 2025-08-11 07:59
推荐：大修
具体性 76 · 依据 81
论一阶逻辑系统的表达力极限…