乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 通过平移证明自然上的逐点度量时态逻辑的定理。 (英语) Zbl 1459.03012号 J.汽车。推理 64,第8期,1553-1610(2020).MSC公司:03B35型 03B44号 03B70号 68T40型 第68卷第15页 90B20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,J.Autom。推理64,No.8,1553--1610(2020;Zbl 1459.03012) 全文: 内政部
张兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 分支时间时序逻辑CTL的分解演算。 (英语) 兹比尔1287.03033 ACM事务处理。计算。日志。 第15号第1条第10条第38页(2014年).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,ACM翻译。计算。日志。15,第1号,第10条,第38页(2014;Zbl 1287.03033) 全文: 内政部