诺里希罗·卡米德 线性时间时序逻辑的序列计算之间的等价性。 （英语） Zbl 1133.03317号 牛市。第节。日志。，大学后勤部。 35，第4期，187-193（2006）. 小结：卡瓦伊序列演算之间的等价性{LT}（左）_\欧米茄）和Baratella-Masini的2-序列演算（2\text{s}\omega）被证明是无条件线性时间时序逻辑。通过使用这种等价性，为{LT}（左）_\得到了ω和（2\text{S}ω）。 引用于5文件 MSC公司： 03B44号 时间逻辑 05年3月 割消去和范式定理 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，公牛。第节。日志。，大学后勤部。35，第4号，187--193（2006；Zbl 1133.03317）