摘要
补充材料
可供下载
Allen，J.F.和Ferguson，G。 1994.区间时序逻辑中的动作和事件。 J.逻辑计算。 4 , 531--579. 谷歌学者 
交叉引用 
Asal，V.、Carter，J.和Wilkenfeld，J。 2008年，中东的民族政治暴力和恐怖主义。 在 2008年和平与冲突 J.Hewitt、J.Wilkenfeld和T.Gurr编辑，《范式》。 谷歌学者 Aziz，A.，Singhal，V.，Balarin，F.，Brayton，R.K.和Sangiovanni-vincentelli，A.L。 1995 它通常起作用：随机系统的时间逻辑 施普林格，155-165。 谷歌学者 数字图书馆 
克夫塔尔，V。 1983 线性规划 W.H.Freeman，纽约。 谷歌学者 克莱维兰，R.、伊耶，P.和纳拉西姆哈，M。 2005.通过模态微积分的概率时间逻辑。 西奥。 计算。 科学。 342 , 2--3, 316--350. 谷歌学者 数字图书馆 A.Dekhtyar和M.I.Dekhtyard。 2005.重新审视区间概率逻辑程序的语义。 在 逻辑程序设计与非单调推理国际会议论文集 . 330--342. 谷歌学者 数字图书馆 Dekhtyar，A.、Dekhtyard，M.I.和Subrahmanian，V.S。 1999.时间概率逻辑程序。 在 逻辑程序设计国际会议记录 麻省理工学院出版社，马萨诸塞州剑桥，109-123。 谷歌学者 数字图书馆 De Raedt，L.和Kersting，K。 2003.概率逻辑学习。 SIGKDD探索。 新闻。 5 , 1, 31--48. 谷歌学者 数字图书馆 Dix，J.、Kraus，S.和Subrahmanian，V.S。 2006.异构时间概率代理。 ACM事务处理。 计算。 语言7 , 1, 151--198. 谷歌学者 数字图书馆 Emerson，E.A.和Halpern，J.Y。 1984年重温“有时”和“不可能”：关于分支与线性时间。 德克萨斯州奥斯汀市技术代表。 谷歌学者 数字图书馆 Fagin，R.、Halpern，J.Y.和Megiddo，N。 1990.概率推理逻辑。 Inf.计算。 87 , 78--128. 谷歌学者 数字图书馆 Giugno，R.和Lukasiewicz，T。 2002.P-shoq（d）：语义网中概率本体的shoq（d）的概率扩展。 在 欧洲人工智能逻辑会议记录（JELIA’02） 施普林格，86-97。 谷歌学者 数字图书馆 Hansson，H.和Jonsson，B。 1994.关于时间和概率的推理逻辑。 正式Asp。 计算。 6 , 512--535. 谷歌学者 交叉引用 ISW公司 . 2008. 伊拉克特殊团体活动地图。 战争研究所。 谷歌学者 北卡罗来纳州卡马尔卡。 1984。线性规划的一种新的多项式时间算法。 组合数学4 , 4, 373--395. 谷歌学者 数字图书馆 Kern-Isberner，G.和Lukasiewicz，T。 2004年，将概率逻辑规划与最大熵的能力相结合。 Artif公司。 智力。 157 , 1--2, 139--202. 谷歌学者 数字图书馆 Kifer，M.和Lozinskii，E.L。 1992.不一致推理的逻辑。 J.汽车。 原因。 9 , 2, 179--215. 谷歌学者 数字图书馆 Kwiatkowska，M.、Norman，G.和Parker，D。 2000.使用PRISM验证随机分布式算法。 在 验证进展研讨会会议记录（WAVE'00） 。 谷歌学者 Kwiatkowska，M.、Norman，G.和Parker，D。 2009.Prism：性能和可靠性分析的概率模型检查。 SIGMETRICS执行评估。 第36版 , 4, 40--45. 谷歌学者 数字图书馆 L·兰波特。 1980.“有时”有时是“不可能”：关于程序的时间逻辑。 在 美国计算机学会编程语言原理研讨会论文集 ACM，纽约州纽约市，174-185。 谷歌学者 数字图书馆 劳埃德，J.W。 1987 逻辑程序设计基础 Springer-Verlag第2版。 谷歌学者 数字图书馆 Mateus，P.、Pacheco，A.、Pinto，J.、Sernadas，A.和Sernadas，C。 2001.概率情境演算。 安。数学。 Artif公司。 智力。 32 , 1, 393--431. 谷歌学者 数字图书馆 Ng，R.T.和Subrahmanian，V.S。 1992.概率逻辑编程。 Inf.计算。 101 , 2, 150--201. 谷歌学者 数字图书馆 尼尔森，N。 1986.概率逻辑。 Artif公司。 英特尔。 28 , 71--87. 谷歌学者 数字图书馆 D.罗斯。 关于近似推理的难度。 Artif公司。 英特尔。 82 , 273--302. 谷歌学者 数字图书馆 Santos，E.和Young，J.D。 1999.概率时间网络：时间和不确定性推理的统一框架。 国际期刊近似原因。 20 。 谷歌学者 数字图书馆 Shakarian，P.、Parker，A.、Simari，G.和Subramanian，V。 2011.注释概率时序逻辑。 ACM事务处理。 计算。 逻辑12 , 2. 谷歌学者 数字图书馆 M.Y.瓦尔迪。 1985.概率并发有限状态程序的自动验证。 在 计算机科学基础研讨会论文集 . 327--338. 谷歌学者 数字图书馆 Wilkenfeld，J.、Asal，V.、Johnson，C.、Pate，A.和Michael，M。 2007.中东民族政治组织使用暴力。 恐怖主义和应对恐怖主义研究国家联合会技术代表。 谷歌学者
建议
构造线性时间逻辑：证明系统与克里普克语义学 本文研究了一种带有“下一个”时态算子的构造线性时间时序逻辑（LTL）。 这个逻辑最初是由戴维斯提出的，他证明了逻辑的证明系统对应于绑定时间的类型系统。。。
