V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 时间间隔逻辑和持续时间计算的路线图。 (英语) Zbl 1181.03012号 J.应用。非类别。日志。 14,编号1-2,9-54(2004). 摘要:我们调查了时间间隔逻辑和持续时间计算的主要发展、结果和公开问题。我们介绍了文献中研究的各种形式系统,并讨论了它们的独特特征,重点是表达性、公理系统和(不)可判定性结果。 引用于30文件 MSC公司: 03B44号 时间逻辑 关键词:区间时序逻辑;时段演算;表现力;公理系统;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,J.Appl。非类别。日志。14,编号1--2,9--54(2004;Zbl 1181.03012) 全文: DOI程序 链接 参考文献: [1] AABY A.,程序。第九届自动扣减国际会议,LNCS第193卷,第218页- [2] AHMED M.,程序。TAPSOFT第584页– [3] 内政部:10.1145/182.358434·Zbl 0519.68079号 ·数字对象标识代码:10.1145/182.358434 [4] 艾伦J.,Proc。第九届国际人工智能联合会议第528页– [5] DOI:10.1093/logcom/4.5.531·Zbl 0815.68100号 ·doi:10.1093/log/4.5.531 [6] BARUA R.,《邻里逻辑:NL和NL 2》(1997) [7] 内政部:10.1093/log/10.2.271·Zbl 0999.03017号 ·doi:10.1093/log.com/10.2.271 [8] VAN BEEK P.,程序。第11届国际人工智能联合会议第1291页– [9] 本特姆·J·V,《时间的逻辑》,第2页。编辑(1991)·Zbl 0758.03012号 ·doi:10.1007/978-94-015-7947-6 [10] 布莱克本P.,模态逻辑,剑桥理论计算机科学丛书第53卷(2001年)·兹比尔1108.03309 [11] BOWMAN H.,程序。1998年国际会议表1397第108页– [12] BOWMAN H.,《时间逻辑的进展》,《应用逻辑》第16卷,第435页–(2000)·doi:10.1007/978-94-015-9586-5_22 [13] DOI:10.1093/logcom/13.2.195·Zbl 1050.03012号 ·doi:10.1093/logcom/13.2.195 [14] BURGESS J.,《圣母院形式逻辑杂志》23(4)第375页–(1982)·Zbl 0452.03022号 ·doi:10.1305/ndjfl/1093870150 [15] CAMPOS S.,程序。第八届计算机辅助验证国际会议1102 pp 257–·doi:10.1007/3-540-61474-574 [16] CHANDRA A.,SIAM计算机杂志14(4),第935页–(1985)·Zbl 0587.68031号 ·数字对象标识代码:10.1137/0214066 [17] 内政部:10.1016/0020-0190(91)90122-X·Zbl 0743.68097号 ·doi:10.1016/0020-0190(91)90122-X [18] CHAOCHEN Z.,程序。第十届计算机科学理论专题讨论会665页58– [19] CHAOCHEN Z.,混合动力系统736 pp 36–(1993)·doi:10.1007/3-540-57318-6_23 [20] CHAOCHEN Z.,Prentice Hall国际计算机科学系列,收录于:经典思维:C.A.R.Hoare荣誉论文第431页–(1994) [21] 赵晨Z.,《计算理论基础》965第16页–(1995)·doi:10.1007/3-540-60249-639 [22] CHAOCHEN Z.,《成分:显著差异》1536第584页-(1998)·doi:10.1007/3-540-49213-5_23 [23] CHAOCHEN Z.,程序。欧洲计算机科学逻辑协会年会1548 pp 1– [24] 赵晨,《EATCS理论计算机科学专著系列》,载:《持续时间微积分》。实时系统的形式化方法(2004)·doi:10.1007/978-3-662-06784-0 [25] CHETCUTI-SERANDIO N.,《逻辑与计算杂志》10(6),第877页–(2000)·Zbl 0965.03013号 ·doi:10.1093/logcom/10.6.877 [26] CHITTARO L.,《数学与人工智能年鉴》28(1),第47页–(2000)·Zbl 1001.68096号 ·doi:10.1023/A:1018900105153 [27] DILLON L.,程序。第14届国际软件工程会议第214页– [28] DILLON L.,程序。第12届软件技术和理论计算机科学基础,LNCS第652卷,第51页– [29] DILLON L.,程序。第十三届软件技术和理论计算机科学基础会议,LNCS第173页第761卷 [30] DILLON L.,《ACM软件工程与方法汇刊》3(2)第131页–(1994)·数字对象标识代码:10.1145/192218.192226 [31] DILLON L.,《信息基础》21第257页–(1994) [32] DILLON L.,程序。第一届时间逻辑国际会议,德国波恩,第827卷,LNCS第195页- [33] DILLON L.,《信息学基础》24(4),第313页–(1995) [34] DILLON L.,理论计算机科学166(1)pp 1–(1996) [35] DILLON L.,理论计算机科学170(1)pp 1–(1996) [36] 内政部:10.1007/978-94-009-9473-7·doi:10.1007/978-94-009-9473-7 [37] 段子,《扩展区间时序逻辑和时序逻辑编程的框架技术》(1996) [38] DUTERTRE B.程序。第十届计算机科学逻辑国际研讨会第36页- [39] DUTERTRE B.,关于一阶区间时序逻辑(1995) [40] FR a NZLE M.,《基于时序逻辑的控制器设计:不确定性无需考虑》(1996) [41] FR A NZLE M.,《持续时间演算:实时系统的逻辑方法》。第十届欧洲逻辑、语言和信息暑期学校(ESSLLI X)研讨会记录,德国萨尔布吕肯,1998年8月。最终版本将出现在2004年BCS FACS特刊上 [42] FRANCESCHET M.,《分割和征服分层土地》(2002年) [43] FR a NZLE M.,程序。实时和容错系统形式技术国际研讨会(FTRTFT 2002),LNCS第245页第2469卷 [44] GABBAY D.,《时间逻辑》,第1卷:数学基础和计算方面(1994)·Zbl 0875.03007号 ·doi:10.1007/BFb0013976 [45] GABBAY D.,时间逻辑,第2卷:数学基础和计算方面(2000年)·Zbl 0662.03016号 [46] 内政部:10.1016/0004-3702(90)90053-3·Zbl 0733.03017号 ·doi:10.1016/0004-3702(90)90053-3 [47] 内政部:10.1007/BF01054038·Zbl 0793.03012号 ·doi:10.1007/BF01054038 [48] GORANKO V.,诉讼。2003年国际会议表第102页– [49] GORANKO V.,《通用计算机科学杂志》9(9)第1137页–(2003) [50] GUELEV D.,抽象域上的持续时间演算:完备性和扩展(1998) [51] GUELEV D.P.,程序。第20届软件技术与理论计算机科学基础会议,LNCS第1974卷 [52] GUELEV D.,一阶区间时间逻辑的投影完备证明系统(2000)·Zbl 1070.03009号 [53] GUELEV D.,关于DC的P片段的插值和相关结果(2000年) [54] GUELEV D.,程序。第六届实时和容错系统形式技术国际研讨会,第1926卷,LNCS pp 264– [55] GUELEV D.P.,《时间系统理论与实践第一次研讨会论文集》,《理论计算机科学电子笔记》第65卷(6) [56] GUELEV D.,《持续时间微积分中状态的投影:相对完整性》(2003)·Zbl 1181.03013号 [57] HALPERN J.,程序。第十届国际自动化、语言和编程学术讨论会第154页第278页·doi:10.1007/BFb0036915 [58] 内政部:10.1145/115234.115351·Zbl 0799.68175号 ·doi:10.1145/115234.115351 [59] 汉姆林C.,《时间研究》(第1卷)第324页–(1972年)·Zbl 0225.02007号 ·doi:10.1007/978-3-642-65387-223 [60] HANSEN M.R.,《实时:实践中的理论》600,第209页–(1992)·doi:10.1007/BFb0031994 [61] HANSEN M.,《计算的形式方面》6(6),第826页–(1994年)·Zbl 0822.68030号 ·doi:10.1007/BF0113605文件 [62] DOI:10.1007/BF01211086·兹伯利0887.68101 ·doi:10.1007/BF01211086 [63] HOPCROFT J.,自动机理论、语言和计算导论(1979)·Zbl 0426.68001号 [64] HUMBERSTONE L.,《哲学逻辑杂志》8第171页–(1979)·Zbl 0409.03012号 ·doi:10.1007/BF00258426 [65] HUNG D.V.,投影:验证持续时间微积分中实时程序的技术(1999) [66] HUNG D.V.,《计算的形式方面》11(1),第21页–(1999)·兹比尔0937.68079 ·doi:10.1007/s001650050034 [67] HUNG D.V.,《计算科学进展》,第1742卷,LNCS第139页–(1999) [68] HUNG D.V.,《利用持续时间微积分进行实时系统开发:概述》(2002年) [69] HUNG H.V.,《持续时间微积分中的实时数据库系统建模》(2002) [70] 内政部:10.1007/978-3-642-67458-7_24·doi:10.1007/978-3-642-67458-7_24 [71] KONO S.,第八届英国理论计算机科学学术讨论会论文集 [72] KONO S.,可执行模态和时序逻辑897第40页–(1995)·doi:10.1007/3-540-58976-7_3 [73] LADKIN P.,《时间表征的逻辑》(1987) [74] LODAYA K.,程序。1961年第六届亚洲计算科学大会第290页– [75] MADDUX R.,《符号逻辑杂志》57(4)第1213页–(1992)·Zbl 0778.03022号 ·doi:10.2307/2275365 [76] 内政部:10.1007/978-94-011-5694-3·doi:10.1007/978-94-011-5694-3 [77] MARX M.,《逻辑与计算杂志》9(6),第897页–(1999)·Zbl 0941.03018号 ·doi:10.1093/log.com/9.6.897 [78] MONTANARI A.,时间粒度的度量和分层时序逻辑(1996) [79] MONTANARI A.,程序。2002年欧洲人工智能逻辑会议2424 pp 259- [80] MOSZKOWSKI B.,《数字电路推理》(1983) [81] MOSZKOWSKI B.,程序。1983年课程逻辑研讨会164页371– [82] 执行时序逻辑程序(1986)·Zbl 0565.68003号 [83] MOSZKOWSKI B.,IFIP事务56,载于:编程概念、方法和微积分第238页-(1994) [84] 内政部:10.1080/11663081.1996.10510865·Zbl 0836.03012号 ·doi:10.1080/11663081.1996.10510865 [85] MOSZKOWSKI B.,《符号计算杂志》22(5),第730页–(1996) [86] MOSZKOWSKI B.,《成分:显著差异》1536 pp 439–(1998)·doi:10.1007/3-540-49213-5_17 [87] MOSZKOWSKI B.,程序。第27届国际自动化、语言和编程学术讨论会1853页第223页·doi:10.1007/3-5440-45022-X_19 [88] MOSZKOWSKI B.,程序。第15届IEEE计算机科学逻辑研讨会LICS 2000第242页 [89] MOSZKOWSKI B.,程序。ESSLLI时间间隔逻辑和持续时间计算研讨会第41页– [90] NAIJUN Z.,程序。欧洲计算机科学逻辑会议第22页– [91] 内政部:10.1145/200836.200848·Zbl 0886.68077号 ·doi:10.1145/200836.200848 [92] NISHIMURA H.,数学科学研究所出版物16 pp 417–(1980)·Zbl 0446.03012号 ·doi:10.2977/prims/1195187212 [93] PANDYA P.,程序。第四届实时和容错系统形式技术国际会议1135页148–·doi:10.1007/3-540-61648-9_39 [94] PENIX J.,第23届年度软件工程研讨会,NASA戈达德 [95] PUJARI A.K.,邻域逻辑与区间代数(1997) [96] RABINOVICH A.,《信息处理快报》第66页第7页–(1998年)·Zbl 0925.68062号 ·doi:10.1016/S0020-0190(98)00027-1 [97] RAMAKRISHNA Y.S.,《基础信息》17第271页–(1992) [98] RAMAKRISHNA Y.,《时间规范和验证的区间逻辑》(1993) [99] RASMUSSEN T.,程序。欧洲计算机科学逻辑年会1683页157–·doi:10.1007/3-540-48168-0_12 [100] RASMUSSEN T.,《信息学和数学建模》(2001年) [101] 拉斯穆森T.,Proc。2001年欧洲计算机科学逻辑年会CSL 2142 pp 308– [102] 拉斯穆森T.,区间逻辑。证明理论与定理证明 [103] REICHENBACH H.,《符号逻辑的要素》(1947)·Zbl 0034.00301号 [104] 理查德B.,《时间逻辑智商》(1988) [105] ROEPER P.,《哲学逻辑杂志》9 pp 451–(1980) [106] ROSNER R.,第一届IEEE计算机科学逻辑年会LICS’86 pp 306– [107] ROY S.,邻域逻辑注释(1997) [108] SIEWE F.,程序。第11届正确硬件设计和验证方法高级研究工作会议CHARME 2001,LNCS第2144卷,第92页– [109] SKAKKEBÆK J.,检查持续时间计算公式的有效性 [110] SØRENSEN E.,燃气燃烧器控制程序。第一部分:非正式要求,过程案例研究1(1990) [111] THAE香港,程序。第二十五届国际计算机软件和应用年会COMPSAC 2001第423页– [112] 内政部:10.1305/ndjfl/1093635589·Zbl 0725.03006号 ·doi:10.1305/ndjfl/1093635589 [113] DOI:10.1093/logcom/1.4.453·Zbl 0744.03022号 ·doi:10.1093/logcom/1.4.453 [114] VILAIN M.,程序。美国人工智能协会(AAAI)第五届全国会议第377页– [115] WOLPER P.,Logique et Analyse 28第119页–(1985) [116] YONG L.,《计算机科学与技术杂志》17(6),第689页–(2002)·Zbl 1056.68096号 ·doi:10.1007/BF02960759 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。