亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 分支时间逻辑\（\mathsf｛ECTL｝^｛\#｝\）及其树式单程表：扩展\（\mathsf｛ECTL｝^+\）的公平可表达性。 （英语） Zbl 1433.03049号 西奥。计算。科学。 813, 428-451 (2020).MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，Theor。计算。科学。813428-451（2020年；Zbl 1433.03049） 全文： 内政部
John McCabe-Dansted先生;克莱尔·狄克逊;法语，蒂姆;雷诺兹，马克 鲁棒性分支时间逻辑的子逻辑。 （英语） Zbl 1436.03125号 Inf.计算。 266, 126-160 (2019).MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}等人，《信息计算》。266126-160（2019年；Zbl 1436.03125） 全文： 内政部
约翰·麦凯布·丹斯特德;马克·雷诺兹 为了公平起见，使用捆绑包。 （英语） Zbl 1420.03034号 安。数学。Artif公司。智力。 80，编号3-4，317-364（2017）.MSC公司：03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}和\textit{M.Reynolds}，安.数学。Artif公司。智力。80，编号3--4，317--364（2017；Zbl 1420.03034） 全文： 内政部
John C.McCabe-Dansted。;马克·雷诺兹 重写\（\mathrm{CTL}^\ast\）的规则。 （英语） Zbl 1436.03124号 J.应用。日志。 21，24-56（2017）.MSC公司：03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和textit{M.Reynolds}，J.Appl。日志。21、24-56（2017年；Zbl 1436.03124） 全文： 内政部
John C.McCabe-Dansted。;法语，蒂姆;苏菲·平奇纳特;马克·雷诺兹 健壮逻辑的表达性和简洁性。 （英语） 兹比尔1400.68137 J.应用。非类别。日志。 25，第3期，193-228（2015）.MSC公司：68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}等人，J.Appl。非类别。日志。25，第3号，193--228（2015；Zbl 1400.68137） 全文： 内政部
John McCabe-Dansted先生;马克·雷诺兹 捆绑策略的画面。 （英语） Zbl 1471.03039号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 22-37 (2015).MSC公司：03B44号 03B35型 2017年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}和\textit{M.Reynolds}，莱克特。注释计算。科学。9323，22-37（2015；Zbl 1471.03039） 全文： 内政部
张，兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 分支时间时序逻辑CTL的分解演算。 （英语） Zbl 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） 全文： 内政部