斯莫林斯基，C。 量化模态逻辑和自我参照。 （英语） Zbl 0635.03014号 圣母院J.形式逻辑 28, 356-370 (1987). QGL中de Jongh-Sambin不动点定理的谓词相似性的失败已被证明F.蒙塔格纳[圣母院J.形式逻辑25179-189（1984；Zbl 0549.03013号)]. 本文表明，这种模拟在（QGL+BS）和（L_{PA}）PA中可证明的所有算术可证明谓词模态模式的逻辑（本文自1985年以来一直在分发）中失败。在第八届全国数学大会上。《逻辑》，莫斯科，1986年，《摘要》，第29页（1986年），V.A.瓦尔丹扬注意到Montagna的反例也适用于\（L_{PA}\），从而给出了最后一个定理的独立证明。审核人：S.Artemov公司 引用于2文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 07年3月 证明的结构 30楼03号 一阶算法和片段 关键词：模态逻辑;可证明逻辑;算术可证明性 引文：Zbl 0591.03003号;兹伯利0549.03013 PDF格式BibTeX公司 XML格式引用 \textit{C.Smoryñski}，圣母院J.形式逻辑28，356--370（1987；Zbl 0635.03014） 全文： 内政部