伊尔迪克·塞恩 过去证明了更多的不变性，但没有证明pca的不变性。 （英语） Zbl 0743.03014号 理论计算机科学方面和前景，Proc。第六届国际会议。Young计算公司。科学。，Smolence/捷克。1990年，法律。注释计算。科学。464, 80-92 (1990). [关于整个系列，请参见Zbl 0732.00023号.]标题中的这句话是指在程序的时间逻辑中添加“即时”模式的证明理论后果。在这里，我们从程序属性的可证明性的角度研究了一阶时态逻辑（FTL）的证明理论能力。（我们还调查了一般FTL的完整性问题。）。 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 关键词：过去的;部分正确性断言;模式;程序的时序逻辑;一阶时序逻辑;程序属性的可证明性;完整性 引文：Zbl 0732.00023号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain}，莱克特。注释计算。科学。无，80-92（1990年；Zbl 0743.03014）