Journal of Logic and Computation. 2005;15(4):447-463. doi: 10.1093/logcom/exi038 Q40.72025

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

Japaridze可证明性逻辑闭合片段的终结性处理

DOI: 10.1093/logcom/exi038

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！