诺里希罗·卡米德 线性时间形式主义的阶段语义。 (英语) Zbl 1216.03034号 日志。J.IGPL公司 19,第1期,121-143(2011).MSC公司:03B44号 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。J.IGPL 19,第1期,121--143(2011;Zbl 1216.03034) 全文: 内政部
埃里卡·卡拉多 线性逻辑知识和时间LTK中可接受的推理规则。 (英语) Zbl 1102.03009号 日志。J.IGPL公司 14,第1期,15-34(2006).MSC公司:03B42号 03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Calardo},日志。J.IGPL 14,第1期,第15--34页(2006;Zbl 1102.03009) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 动态线性时间时序逻辑中的动作推理。 (英语) Zbl 0979.03015号 日志。J.IGPL公司 9,第2期,273-287(2001). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,日志。J.IGPL 9,第2号,273--287(2001;Zbl 0979.03015) 全文: 内政部 链接
丹尼斯·R·达姆斯。 CTL和\(\text{CTL}^*\)的扁平片段:分离表达能力和区分能力。 (英语) 兹伯利0920.03031 日志。J.IGPL公司 7,第1期,55-78(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Dams},日志。J.IGPL 7,第1期,55--78(1999;Zbl 0920.03031) 全文: 内政部