丹尼斯·R·达姆斯。 CTL和\（\text｛CTL｝^*\）的扁平片段：分离表达能力和区分能力。 （英语） 兹伯利0920.03031 日志。J.IGPL公司 7，第1期，55-78（1999）. 摘要：我们研究了平面时序逻辑的表达能力和区分能力。这些是通过将Until运算符的第一个参数限制为命题公式而获得的片段。同时考虑了线性时间和分支时间情况。 引用于4文件 MSC公司： 03B45 模态逻辑（包括规范逻辑） 关键词：计算树逻辑；直到模态；线性时间；分支时间；表达能力；鉴别能力；互模拟；长期贷款；CTL公司；平面时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Dams}，日志。J.IGPL 7，第1期，55--78（1999；Zbl 0920.03031） 全文： 内政部