关于 HA 的可证性逻辑
逻辑
2026-01-05 v4
摘要
我们公理化了 的可证性逻辑并证明其可判定性。此外，我们针对若干扩展 iK4 的模态逻辑公理化了保持性与相对可容性关系。一个主要的技术工具是引入一种称为\emph{可证性模型}的新型语义，用于扩展 iGL 的模态逻辑。该语义将标准 Kripke 语义的要素与命题模态逻辑中的可证性相结合。
引用
@article{arxiv.2206.00445,
title = {On the Provability Logic of HA},
author = {Mojtaba Mojtahedi},
journal= {arXiv preprint arXiv:2206.00445},
year = {2026}
}