可证谓词与一致性陈述的模态逻辑方面
逻辑
2025-11-20 v1
摘要
本文研究算术理论的可证谓词与一致性陈述的模态逻辑方面。首先，我们概述了先前关于可证谓词的各种可导性条件与不同模态逻辑之间对应关系的工作。本文的主要技术贡献在于通过扩展Solovay方法并改进Arai对Rosser可证谓词的构造，建立了逻辑、、和的算术完备性。
引用
@article{arxiv.2511.15531,
title = {Modal logical aspects of provability predicates and consistency statements},
author = {Haruka Kogure and Taishi Kurahashi},
journal= {arXiv preprint arXiv:2511.15531},
year = {2025}
}
备注
28 pages