艾默生·E·艾伦;Lei，Chin Laung女士 广义公平约束下的时间推理。 （英语） Zbl 0614.03023号 计算机科学的理论方面，第三年。交响乐团。，奥赛/法国1986年，Lect。注释计算。科学。210, 21-36 (1986). [关于整个系列，请参见Zbl 0578.0004号.]在设计正确的并发程序时，分支时态逻辑在某些方面优于线性时态逻辑。但它们在两个方面存在问题，即表达能力和决策过程的复杂性。作者提出了一种分支时间逻辑，他们称之为公平计算树逻辑，它可以表达一系列公平属性：公正性、强公平性、有限循环公平性等。然后，他们证明了FCTL的一个小模型定理，并表明这导致了FCTL的一个确定性决策过程，单指数时间复杂度。审核人：G.福布斯 引用于11文件 MSC公司： 03B70号 计算机科学中的逻辑 03B45号 模态逻辑（包括规范逻辑） 关键词：时态逻辑;平行度;分支时序逻辑;公平计算树逻辑;公平性属性;决策程序 引文：Zbl 0578.0004号 PDF格式BibTeX公司 XML格式