大卫·布雷索林;乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 区间时序逻辑的关系对偶表。 (英语) Zbl 1186.03035号 J.应用。非类别。日志。 16,第3-4号,251-277(2006). 摘要:区间时序逻辑既提供了对时间本质的洞察力,也为计算机科学各个领域的时序推理提供了框架。本文以对偶表的形式给出了与时间间隔的模态逻辑相关的关系逻辑的健全完整的关系证明系统,并证明了这些系统使我们能够验证这些时间逻辑的有效性和蕴涵性。我们展示了如何在系统中合并区间和/或各种时间顺序之间的各种关系。 引用于三文件 MSC公司: 03B44号 时间逻辑 03B35型 证明和逻辑操作的机械化 03B70号 计算机科学中的逻辑 关键词:区间时序逻辑;关系逻辑;双表系统;证明系统 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Appl。非类别。日志。16,编号3--4,251--277(2006;Zbl 1186.03035) 全文: 内政部 参考文献: [1] 内政部:10.1145/182.358434·Zbl 0519.68079号 ·数字对象标识代码:10.1145/182.358434 [2] DOI:10.1093/logcom/13.2.195·Zbl 1050.03012号 ·doi:10.1093/logcom/13.2.195 [3] 布雷索林D.,M4M-4会议记录:第四届模态方法国际研讨会第38页–(2005) [4] BRESOLIN D.,《2005年TABLEAUX会议录》,LNAI第3702卷,第63页–(2005) [5] 布雷索林D.,《自动推理杂志》(2006) [6] CHAOCHEN Z.,《成分:显著差异》,LNCS第1536卷第584页–(1998)·doi:10.1007/3-540-49213-5_23 [7] DALLIEN J.,RelDT:关系对偶表自动定理证明器(2005) [8] DILLON L.,《第12届软件技术与理论计算机科学论文集》,LNCS第652卷,第51页– [9] DILLON L.,《第十三届软件技术和理论计算机科学基础会议论文集》,LNCS第761卷,第173页– [10] DILLON L.,理论计算机科学170(1)pp 1–(1996) [11] 内政部:10.1016/0304-3975(95)00254-5·Zbl 0872.03019号 ·doi:10.1016/0304-3975(95)00254-5 [12] FORMISANO A.,Fachberichte Informatik No 12,in:TABLEAUX 2005立场文件和教程说明第1页–(2005) [13] GOLIŃSKA-PILAREK J.,关系逻辑及其应用(2006)·Zbl 1177.03036号 ·doi:10.1007/11964810_7 [14] GOLIŃSKA-PILAREK J.,Studia Logica(2006) [15] GORANKO V.,《2003年国际会议记录》,LNAI第2796卷,第102页– [16] GORANKO V.,《通用计算机科学杂志》9(9)第1137页–(2003) [17] 内政部:10.3166/1月14日-9-54·doi:10.3166/1月14日-9-54日 [18] GORANKO V.,《应用逻辑杂志》(2006) [19] 内政部:10.1145/115234.115351·Zbl 0799.68175号 ·doi:10.1145/115234.115351 [20] LADKIN P.B.,凸时间间隔代数(1987) [21] LODAYA K.,程序。第六届亚洲计算科学大会,LNCS第290页,第1961卷 [22] MACCAULL W.,Studia Logica 71第279页–(2002年)·2017年3月10日 ·doi:10.1023/A:1020572931854 [23] MONTANARI A.,程序。第八届欧洲人工智能逻辑会议,LNAI第2424卷第259页- [24] MOSZKOWSKI B.,关于数字电路的推理(1983) [25] ORŁOWSKA E.,代数逻辑,数学学会学术讨论会第54卷,Janos Bolyai pp 443–(1988)·Zbl 0693.03011号 [26] ORŁOWSKA E.,《时间与逻辑——计算方法》,第249页,(1995) [27] ORŁOWSKA E.,模态逻辑证明理论第55页–(1996)·doi:10.1007/978-94-017-2798-3_5 [28] RASIOWA H.,《元数学的数学》(1963)·Zbl 0122.24311号 [29] RASMUSSEN T.,《2001年欧洲计算机科学与逻辑会议论文集》,LNCS第2142卷,第308页– [30] RASMUSSEN T.,有符号区间逻辑的序列微积分(2001) [31] 内政部:10.1305/ndjfl/1093635589·Zbl 0725.03006号 ·doi:10.1305/ndjfl/1093635589 [32] DOI:10.1093/logcom/1.4.453·Zbl 0744.03022号 ·doi:10.1093/logcom/1.4.453 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。