大卫·巴尔德;舔，安东尼;西尔万·施密茨 序数上时态逻辑的超连续演算。 （英语） Zbl 1528.03136号 Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第15条，第19页（2018年）。MSC公司：03B45号 03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人，LIPIcs——莱布尼茨国际程序。通知。122，第15条，第19页（2018；Zbl 1528.03136） 全文： 内政部
乌迪·博克;克里希南德·查特吉;托马斯·亨辛格。;奥尔纳·库普弗曼 具有累计值的时间规格。 （英语） Zbl 1354.68169号 ACM事务处理。计算。日志。 第15号第4条第27条第25页（2014年）.MSC公司：60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人，ACM Trans。计算。日志。15，第4号，第27条，第25页（2014；Zbl 1354.68169） 全文： 内政部
雷诺兹，M。 实域上时序逻辑的复杂性。 （英语） Zbl 1235.03052号 Ann.纯粹应用。逻辑 161，第8期，1063-1096（2010）.MSC公司：03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Reynolds｝，Ann.纯应用。逻辑161，No.8，1063--1096（2010；Zbl 1235.03052） 全文： 内政部
卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 实域上的定量时间逻辑：PSpace及以下。 （英语） 兹比尔1109.03012 Inf.计算。 205，第1期，99-123（2007）.MSC公司：03B44号 2015年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人，《信息计算》。205，编号1，99-123（2007年；Zbl 1109.03012） 全文： 内政部
雷诺兹，M。 在一般线性时间内，带有“直到”的时序逻辑的复杂性。 （英语） Zbl 1019.03014号 J.计算。系统。科学。 66，第2期，393-426（2003）.MSC公司：03B44号 2017年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，J.计算。系统。科学。66，第2号，393--426（2003；Zbl 1019.03014） 全文： 内政部
库沙·埃特萨米;托马斯·威尔克 时间逻辑Ehrenfeucht-Fraíssé游戏的直到层次结构和其他应用程序。 （英语） Zbl 1005.03021号 Inf.计算。 160，编号1-2，88-108（2000）.MSC公司：03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{T.Wilke}，Inf.Compute。160，编号1--2，88-108（2000；Zbl 1005.03021） 全文： 内政部