丹尼尔·莱曼;萨拉、撒哈拉 用时间和机会进行推理。 (英语) Zbl 0546.03010号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 445-457 (1983). [关于整个系列,请参见兹比尔0511.00030.]本文扩展了线性时间的时态命题逻辑来处理概率算法。提出了三种不同的公理系统,并证明了它们对于三类相应的随机系统是完备的。它们的可判定性是通过使用M.O.拉宾[美国数学学会第141卷,1-35页(1969年;Zbl 0221.02031)].审核人:H.西村 引用于1文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 68问题65 抽象数据类型;代数规范 03B25号 理论和句子集的可决定性 关键词:线性时间的时间命题逻辑;概率算法;可判定性 引文:Zbl 0511.00030号;Zbl 0221.02031 PDF格式BibTeX公司 XML格式