埃西克，Z。；Sz伊凡。 有限树上的扩展时序逻辑。 （英语） Zbl 1264.03051号 伊藤、马萨米（编辑）等，《自动机，形式语言和代数系统》。2008年AFLAS会议记录，日本京都，2008年9月20日至22日。新泽西州哈肯萨克：世界科学（ISBN 978-981-4317-60-3/hbk；978-981-14317-61-0/电子书）。47-62 (2010). 概要：Wolper将时间逻辑与每类（常规）语言关联起来。埃西克为本质上相同的逻辑提供了不同的语义。这两种方法都可以扩展到树，从而产生具有规则模式的分支时间时序逻辑族。在这里，我们比较了这些分支时间时序逻辑的两种语义，并利用这种比较从各种有限代数的角度推导了它们相对于Wolper风格语义的表达能力的代数特征。我们还提供了游戏理论描述。关于整个系列，请参见[Zbl 1234.68007号]. MSC公司： 03B44号 时间逻辑 03C07号机组 一阶语言和结构的基本性质 70年第68季度 语言和自动机的代数理论 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{Sz.Iván}，in：自动机，形式语言和代数系统。2008年AFLAS会议记录，日本京都，2008年9月20-22日。新泽西州哈肯萨克：《世界科学》。47-62（2010年；Zbl 1264.03051） 全文： 内政部