伯恩德·芬克贝纳 时间超属性。 (英语) Zbl 1416.03013号 牛市。欧洲协会。计算。科学。EATCS公司 123, 150-170 (2017).MSC公司:03B70号 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner},公牛。欧洲协会。计算。科学。EATCS 123、150--170(2017;Zbl 1416.03013) 全文: 链接
佩德罗·冈萨雷斯 Mereology和时间结构。 (英语) Zbl 1416.03010号 牛市。欧洲协会。计算。科学。EATCS公司 116, 230-237 (2015).MSC公司:03B45号 03A05号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.González Nüñez},公牛。欧洲协会。计算。科学。EATCS 116、230--237(2015;Zbl 1416.03010) 全文: 链接
阿恩·迈尔;朱利安·斯特芬·米勒;马丁·蒙德亨克;赫里贝特·沃尔默 Kripke模型上逻辑的模型检查的复杂性。 (英语) Zbl 1394.68233号 牛市。欧洲协会。计算。科学。EATCS公司 108, 50-89 (2012).MSC公司:第68季度第60季度 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,公牛。欧洲协会。计算。科学。EATCS 108,50-89(2012;Zbl 1394.68233) 全文: 链接
黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 时间间隔逻辑:一段旅程。 (英语) Zbl 1275.03087号 牛市。欧洲协会。计算。科学。EATCS公司 105, 73-99 (2011).MSC公司:03B44号 第68季度第60季度 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,Bull。欧洲协会。计算。科学。EATCS 105、73--99(2011;Zbl 1275.03087)
弗朗索瓦·拉鲁西尼 游戏的时间逻辑。 (英语) Zbl 1204.68130号 牛市。欧洲协会。计算。科学。EATCS公司 100, 79-98 (2010).MSC公司:第68季度第60季度 03B44号 91A10号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie},公牛。欧洲协会。计算。科学。EATCS 100,79--98(2010;Zbl 1204.68130)
Furia,Carlo A。;罗西,马蒂奥 无需严格:关于使用(非)严格运算符的度量时态逻辑的表达性。 (英语) Zbl 1169.03330号 牛市。欧洲协会。计算。科学。EATCS公司 92, 150-160 (2007).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Furia}和\textit{M.Rossi},公牛。欧洲协会。计算。科学。EATCS 92、150--160(2007;Zbl 1169.03330)
哈斯,佩尔;彼得·赫斯特罗姆 时间和逻辑的流动——以及计算机科学。 (英语) Zbl 1169.03331号 牛市。欧洲协会。计算。科学。EATCS公司 82, 191-226 (2004).MSC公司:03B44号 03-03 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hasle}和\textit{P.Øhrstrom},公牛。欧洲协会。计算。科学。EATCS 82、191--226(2004;Zbl 1169.03331)
尼古拉斯·马基 过去的时间逻辑以指数形式更加简洁。 (英语) Zbl 1169.03332号 牛市。欧洲协会。计算。科学。EATCS公司 79, 122-128 (2003).MSC公司:03B44号 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey},公牛。欧洲协会。计算。科学。EATCS 79、122--128(2003年;Zbl 1169.03332)