×
本·莫斯科夫斯基（编辑）；迪米塔尔·盖列夫（编辑）；Leucker，马丁（编辑）

客座编辑为区间时间逻辑特刊撰写的序言。 （英语） Zbl 1298.00328号

安。数学。Artif公司。智力。 71，编号1-3，1-9（2014）.
摘要：本期特刊精选了在第18届时间表征与推理国际研讨会（TIME 2011）上以区间时间逻辑（ITL）专题发表的论文的修订版和扩充版。会议于2011年9月12日至14日在德国吕贝克举行，另一条ITL特别赛道计划于《时代》2014年在意大利维罗纳举行。这些文章反映了国际交易日志理论和应用研究的多样性。本前言的两个目的是讨论国际贸易法的研究，并在此背景下对文章进行总结。

MSC公司：

00B25型 杂项特定利益的会议记录
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
68-06 与计算机科学有关的论文集、会议、文集等
03B44号 时间逻辑
60年第68季度 规范和验证（程序逻辑、模型检查等）

软件：

低成本融资
PDF格式BibTeX公司 XML格式引用
\textit{B.Moszkowski}（编辑）等，《数学年鉴》。Artif公司。智力。71，编号1--3，1--9（2014；Zbl 1298.00328）
全文： 内政部

参考文献：

[1] Allen，J.F.：保持对时间间隔的了解。Commun公司。ACM 26（11），832-843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[2] Banieqbal，B.，Barringer，H.：具有不动点的时序逻辑。收录于：Banieqbal，B.，Barringer，H.，Pnueli，A.（编辑）《规范中的时间逻辑》，Proceedings（Altrincham，UK，1987年4月），LNCS，第398卷，第62-74页。柏林施普林格（1989）
[3] Barringer，H.、Fisher，M.、Gabbay，D.、Gough，G.：Owens，R.：MetateM：时序逻辑编程框架。收录于：J.Bakker，W.P.Roever，G.Rozenberg（编辑）《分布式系统的逐步优化：模型、形式化、正确性》（REX Workshop，1989），LNCS第430期，第94-129页。施普林格（1990）·Zbl 1275.03087号
[4] Bäumler，S.，Schellhorn，G.，Tofan，B.，Reif，W.：用时序逻辑证明线性化能力。表Asp。计算23（1），91-112（2011）·Zbl 1214.68209号 ·文件编号：10.1007/s00165-009-0130-y
[5] Bresolin，D.，Della Monica，D.，Montanari，A.，Sciavicco，G.：有限线性序上右命题邻域逻辑的表系统：实现。收录于：D.Galmiche，D.Larchey-Wendling（编辑）《第22届国际分析表和相关方法自动推理会议论文集》（Tableaux 2013），LNCS，第8123卷，第74-80页。施普林格（2013）·Zbl 1401.68275号
[6] Dam，M.：时间逻辑、自动机和经典理论：导论。第六届欧洲逻辑、语言和信息暑期学校笔记（ESSLLI 1994，哥本哈根）（1994年）。http://web.it.kth.se-mfd/Papers/tlact.pdf。2013年12月19日查阅·Zbl 1180.03019号
[7] Della Monica，D.，Goranko，V.，Montanari，A.，Sciavicco，G.：间隔时间逻辑：旅程。牛市。EATCS 105、73-99（2011）·Zbl 1275.03087号
[8] Della Monica，D.，Montanari，A.，Sala，P.：过去在区间时间逻辑中的重要性：命题邻域逻辑的案例。收录于：A.Artikis、R.Craven、N.K.Chiçekli、B.Sadighi、K.Stathis（编辑）《逻辑程序、规范和行动》，LNCS，第7360卷，第79-102页。施普林格（2012）·Zbl 1356.03061号
[9] Dutertre，B.：一阶区间时序逻辑的完整证明系统。摘自：第十届IEEE计算机科学逻辑研讨会论文集（LICS’95），第36-43页。IEEE计算机学会出版社，洛斯·阿拉米托斯（1995）
[10] Fisher，M.：使用时间逻辑的实用形式方法简介。威利（2011）·Zbl 1250.68003号
[11] Golumbic，M.C.，Shamir，R.：关于时间推理的复杂性和算法：图形理论方法。J.ACM 40（5），1108-1133（1993）·Zbl 0795.68095号 ·数字对象标识代码：10.1145/174147.169675
[12] Goranko，V.，Montanari，A.：区间时间逻辑和持续时间计算专题前言。J.应用。非经典测井。14（1-2），7-8（2004）·Zbl 1180.03019号 ·doi:10.1080/11663081.2004.9736508
[13] Goranko，V.，Montanari，A.，Sciavicco，G.：命题区间时间逻辑和持续时间计算的路线图。J.应用。非经典测井。14(1-2), 9-54 (2004) ·Zbl 1181.03012号 ·doi:10.3166/1月14日-9-54日
[14] Gordon，M.J.C.：从LCF到HOL：短暂的历史。收录于：G.Plotkin、C.Stirling、M.Tofte（编辑）《证明、语言与互动：纪念罗宾·米尔纳的论文》，第169-185页。麻省理工学院出版社，剑桥（2000）·兹比尔0799.68175
[15] Halpern，J.Y.，Shoham，Y.：时间间隔的命题模态逻辑。J.ACM 38（4），935-962（1991）·Zbl 0799.68175号 ·doi:10.1145/115234.115351
[16] Hansen，M.R.，Zhou，C.：持续演算：逻辑基础。表Asp。计算。9(3), 283-330 (1997) ·Zbl 0887.68101号 ·doi:10.1007/BF011211086
[17] Hoare，T.：细粒度并发程序的验证。选举人。注释Theor。计算。科学。209165-171（2008年）·Zbl 1279.68261号 ·doi:10.1016/j.entcs.2008.04.010
[18] IEEE：功能验证语言标准e，标准1647-2011。ANSI/IEEE，纽约（2011）·Zbl 1214.68209号
[19] ISO:ISO/IEC 9075-2:2011信息技术-数据库语言-SQL-第2部分：基础（SQL/Foundation）。ISO，日内瓦（2011）
[20] 英国德蒙福特大学的Interval Temporal Logic网站。http://www.tech.dmu.ac.uk/STRL/ITL/。2013年4月24日访问·Zbl 0519.68079号
[21] 意大利乌迪内大学的Interval Temporal Logics网站。http://itl.dimi.uniud.it/content/logic-hs和http://itl.dimi.uniud.it/biblio。2013年12月27日查阅
[22] Jones，C.B.：开发干扰程序的开发方法的初步步骤。ACM事务处理。程序。语言系统。5(4), 596-619 (1983) ·Zbl 0517.68032号 ·数字对象标识代码：10.1145/69575.69577
[23] Jones，C.B.：在并发的正式方法中平衡表达能力。纽卡斯尔大学技术代表1394。计算科学系（2013）。http://www.cs.ncl.ac.uk/publications/trs/papers/1394.pdf。2013年12月10日访问·Zbl 1343.68171号
[24] Kröger，F.，Merz，S.：时间逻辑与状态系统。施普林格（2008）·Zbl 1169.03001号
[25] Kulkarni，K.，Michels，J.E.：《SQL中的时态特征：2011》。ACM SIGMOD记录41（3），34-43（2012）·doi:10.1145/2380776.2380786
[26] Lamport，L.：《指定系统：面向硬件和软件工程师的TLA+语言和工具》。Addison-Wesley Professional（2002年）·Zbl 0519.68079号
[27] Lichtenstein，O.，Pnueli，A.，Zuck，L.：过去的荣耀。参见：R.Parikh（编辑）《程序逻辑》，LNCS，第193卷，第196-218页。斯普林格（1985）·Zbl 0586.68028号
[28] Lomuscio，A.，Michaliszyn，J.：认知的Halpern-Shoham逻辑。In：F.Rossi（编辑）《第23届国际人工智能联合会议论文集》（IJCAI 2013）（2013）·Zbl 0744.03022号
[29] Manna，Z.，Pnueli，A.：反应和并发系统的时间逻辑：规范。施普林格，纽约（1992）·Zbl 0753.68003号 ·doi:10.1007/978-1-4612-0931-7
[30] Moszkowski，B：关于数字电路的推理。博士论文，技术代表STAN-CS-83-970。斯坦福大学计算机科学系（1983年）
[31] Moszkowski，B.：执行时序逻辑程序。剑桥大学出版社。剑桥（1986）·Zbl 0565.68003号
[32] Moszkowski，B.：有限时间命题区间时序逻辑的层次完备性证明。J.应用。非类日志。14(1-2), 55-104 (2004) ·Zbl 1181.03015号 ·doi:10.3166/一月.14.55-104
[33] Müller-Olm，M.：带chop的模态不动点逻辑。参见：C.Meinel，S.Tison（eds.）《第16届计算机科学理论方面年度研讨会论文集》（STACS 99），LNCS，第1563卷，第510-520页。斯普林格（1999）·Zbl 0924.03046号
[34] Olderog，E.R.，Dierks，H.：实时系统：形式规范和自动验证。剑桥大学出版社。剑桥（2008）·Zbl 1161.68030号
[35] Roy，S.，Chaochen，Z.：邻域逻辑注释。技术代表97。联合国大学研究所，澳门（1997年）
[36] Venema，Y.：斩波间隔的模态逻辑。J.日志。计算。1(4), 453-476 (1991) ·Zbl 0744.03022号 ·doi:10.1093/logcom/1.4.453
[37] Zhou，C.：Hansen，M.R.：持续时间演算：实时系统的形式化方法。斯普林格（2004）·Zbl 1071.68062号
[38] Zhou，C.，Hoare，C.A.R.，Ravn，A.P.：持续时间的计算。信息处理。莱特。40(5), 269-276 (1991) ·Zbl 0743.68097号 ·doi:10.1016/0020-0190（91）90122-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。