×
马克·雷诺兹

少于两个时钟的度量时间推理。 （英文） Zbl 1242.03047号

J.应用。非类别。日志。 20，第4期，437-455（2010）.
摘要：我们介绍了一种在实数时间流上定义度量时态逻辑的新方法。这个想法基于语义，它允许我们引用任意精度的单个通用时钟，以施加度量约束。
这为我们提供了一种新的度量时态逻辑，它具有很强的表达能力，使用起来很自然，可以应用于非常一般的情况，提供了大量有用的缩写和操作符，具有PSPACE决策过程，并且有望适用于标准推理技术。因此，与现有的度量时态逻辑相比，它具有许多优点。
我们通过转换为非度量时态逻辑来提供决策过程，因此无需时钟即可进行度量推理。

引用于2文件

MSC公司：

03B44号 时间逻辑
03D78号 实数上的计算，可计算分析
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，J.Appl。非类别。日志。20，第4号，437--455（2010；Zbl 1242.03047）
全文： 内政部

参考文献：

[1] Allen J.，《计划推理》（1991）·Zbl 0759.68077号
[2] 内政部：10.1145/227595.227602·Zbl 0882.68021号 ·数字对象标识代码：10.1145/227595.227602
[3] Alur R.，REX研讨会，计算机科学讲稿第600卷，第74页–（1991）
[4] DOI:10.1006/inco.1993.1025·Zbl 0791.68103号 ·doi:10.1006/inco.1993.1025
[5] 内政部：10.1145/174644.174651·Zbl 0807.68065号 ·doi:10.1145/174644.174651
[6] Bianculli D.，2007年FSEN，Proc。软件工程基础国际研讨会
[7] 内政部：10.1305/ndjfl/1093870820·Zbl 0573.03004号 ·doi:10.1305/ndjfl/1093870820
[8] DOI:10.1007/3-5440-49253-4_1·doi:10.1007/3-540-49253-4_1
[9] 内政部：10.1007/s10009-005-0214-9·doi:10.1007/s10009-005-0214-9
[10] DOI:10.1023/A:1017588004618·Zbl 1002.68094号 ·doi:10.1023/A:1017588004618
[11] 内政部：10.1007/978-3-540-75454-1_13·Zbl 1142.68048号 ·doi:10.1007/978-3-540-75454-1_13
[12] 内政部：10.1007/978-3-540-85778-5_9·Zbl 1171.03312号 ·doi:10.1007/978-3-540-85778-59
[13] DOI:10.1007/BFb0013976·Zbl 0875.03007号 ·doi:10.1007/BFb0013976
[14] DOI:10.1093/logcom/1.2.229·Zbl 0744.03018号 ·doi:10.1093/logcom/1.2.229
[15] 内政部：10.1007/978-3-540-69850-0·Zbl 1139.68003号 ·doi:10.1007/978-3-540-69850-0
[16] DOI:10.1016/0304-3975（94）00145-9·Zbl 0874.68269号 ·doi:10.1016/0304-3975（94）00145-9
[17] Hasse D.N.，斯坦福大学哲学百科全书（2008）
[18] DOI:10.2168/LMCS-3（1:3）2007年·Zbl 1128.03007号 ·doi:10.2168/LMCS-3（1:3）2007
[19] 内政部：10.1007/3-540-48523-6_39·doi:10.1007/3-540-48523-6_39
[20] Hirshfeld Y.，Fundam。通知。62（1）第1页–（2004）
[21] Kamp H.，时态逻辑和线性秩序理论（1968）
[22] Kesten Y.，《十年的并发：反思与展望：REX学校/研讨会》，第273页–
[23] DOI:10.1007/BF01995674·doi:10.1007/BF01995674
[24] 内政部：10.1007/978-1-4612-0931-7·doi:10.1007/978-1-4612-0931-7
[25] 内政部：10.1007/978-1-4612-4222-2·doi:10.1007/978-1-4612-4222-2
[26] 内政部：10.1007/10722086_26·doi:10.1007/10722086_26
[27] Németi I.，《逻辑学术讨论会》，1992年，第171页–（1995年）
[28] Ostroff J.S.，《高级软件开发系列》，摘自：实时系统的时态逻辑（1989）
[29] Ouaknine J.，FORMATS’08：第六届时间系统形式建模与分析国际会议记录第1页–
[30] Pnueli A.，第十八届计算机科学基础研讨会论文集，第46-页
[31] 内政部：10.2307/2957434·doi:10.2307/2957434
[32] DOI:10.1093/log.com/8.5.669·Zbl 0913.03018号 ·doi:10.1093/log.com/8.5.669
[33] 内政部：10.1007/BF00370112·Zbl 0785.03006号 ·doi:10.1007/BF00370112
[34] DOI:10.1016/S0022-0000（03）00005-9·Zbl 1019.03014号 ·doi:10.1016/S0022-0000（03）00005-9
[35] Reynolds M.，《时代周刊》2009年第16届时间表征与推理国际研讨会论文集第3页
[36] 内政部：10.1016/j.apal.2010.01.002·Zbl 1235.03052号 ·doi:10.1016/j.apal.2010.01.002
[37] Reynolds M.，《重新审视度量时间逻辑》（2010年）·Zbl 1339.03019号
[38] Reynolds M.，待定pp？-？-(2010)
[39] 内政部：10.1109/MMCS.1996.535008·doi:10.1109/MMCS.1996.535008
[40] Tansel A.，《时态数据库：理论、设计和实现》（1993年）
[41] Wilke T.，LNCS 863第694页–（1994）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。