论文标题
弱grzegorczyk逻辑的无变量片段的复杂性
Complexity of the variable-free fragment of the weak Grzegorczyk logic
论文作者
论文摘要
该论文证明了K和WGRZ之间所有逻辑的无变量片段的pspace-hards。
The paper proves PSPACE-hardness of variable-free fragments of all logics between K and wGrz.
加入微信交流群
扫码加入学术交流群，获取更多资源