H.巴林格。;M·费希尔。;D.加巴伊。;戈夫（G.Gough）。;R.欧文斯。 MetateM：引言。 （英语） Zbl 0838.68014号 正式Asp。计算。 第7期，第5期，第533-549页（1995年）. 引用于1审查引用于8文件 MSC公司： 68N17号 逻辑编程 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B45号 模态逻辑（包括规范逻辑） 关键词：模态逻辑;时间逻辑;无功系统;非程序语言;METATEM公司 软件：METATEM公司 PDF格式BibTeX公司 XML格式引用 \textit｛H.Barringer｝等人，正式Asp。计算。7，第5号，533--549（1995；Zbl 0838.68014） 全文： 内政部 参考文献： [1] 艾伦，J.：走向行动和时间的一般理论。人工智能，23（2）：123-1541984·Zbl 0567.68025号 ·doi:10.1016/0004-3702（84）90008-0 [2] Abadi，M.和Manna，Z.：时序逻辑编程。符号计算杂志，8:277-2951989·Zbl 0691.03015号 ·doi:10.1016/S0747-7171（89）80070-7 [3] Baudinet，M.：时序逻辑编程是完整的和表达的。1989年1月，德克萨斯州奥斯汀，第十六届美国计算机学会编程语言原理研讨会（POPL）会议记录。ACM公司。 [4] Baudinet，M.：时序逻辑编程完整性的简单证明。在L Fariñas del Cerro和M.Penttonen，编辑，《编程的内涵逻辑》。牛津大学出版社，1992年·Zbl 0754.68080号 [5] Barringer，H.、Fisher，M.、Gabbay，D.、Gough，G.和Owens，R.：MetateM：时序逻辑编程框架。1989年6月，荷兰穆克，REX分布式系统逐步优化研讨会论文集：模型、形式化、正确性。（发表于《计算机科学讲义》第430卷，施普林格出版社）。 [6] Barringer，H.、Fisher，M.、Gabbay，D.、Gough，G.和Owens，R.：MetateM：时序逻辑编程的必要方法。《计算的形式方面》，第7（E）页，第111-155页·Zbl 0838.68014号 [7] Barringer，H.、Fisher，M.和Gough，G.：公平SMG和线性时间模型检查。有限状态系统自动验证方法研讨会论文集，法国格勒诺布尔，1989年6月。（发表于《计算机科学讲义》第407卷，施普林格-弗拉格出版社）。 [8] Barringer，H.、Fisher，M.、Gabbay，D.和Hunter，A.：可执行时序逻辑中的元推理。J.Allen、R.Fikes和E.Sandewall，编辑，《知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥，1991年4月。摩根·考夫曼·Zbl 0825.68584号 [9] Barringer，H.和Gabbay，D.：执行时序逻辑：回顾与展望（扩展摘要）。1988年《并发诉讼》。 [10] Brzoska，C.：使用度量和过去运算符的时序逻辑编程。在M.Fisher和R.Owens编辑的《可执行模态和时序逻辑》中，《人工智能讲义》第897卷。施普林格·弗拉格，海德堡，德国，1995年·Zbl 0832.68112号 [11] Emerson，E.A.和Clarke，E.M.：使用分支时间-时间逻辑来合成同步骨架。计算机程序设计科学，2:241-2661982·兹伯利0514.68032 ·doi:10.1016/0167-6423（83）90017-5 [12] Fisher，M.和Barringer，H.：并行MetateM过程？《分布式人工智能语言》，《欧洲模拟多会议论文集》，丹麦哥本哈根，1991年6月。 [13] Finger，M.、Fisher，M.和Owens，R.：MetateM在工作：使用可执行时序逻辑建模反应系统。第六届人工智能和专家系统工业和工程应用国际会议（IEA/AIE），英国爱丁堡，1993年6月。Gordon和Breach出版社。 [14] Fisher，M.：一阶时间公式的规范形式。第十一届自动扣除国际会议（CADE）论文集，萨拉托加温泉，纽约，1992年6月。（发表于《计算机科学讲义》第607卷，施普林格-弗拉格出版社）·Zbl 0925.03100号 [15] Fisher，M.：ConcurrentMetateM？反应系统建模语言。《并行架构和语言》，欧洲（PARLE），德国慕尼黑，1993年6月。斯普林格·弗拉格。 [16] Fisher，M.：并发MetateM的调查？语言及其应用。1994年7月在德国波恩举行的第一届国际时间逻辑会议上。（发表于《计算机科学讲义》第827卷，施普林格-弗拉格出版社）。 [17] Fujita，M.、Kono，S.、Tanaka，T.和Moto-oka，T.：Tokio：基于时态逻辑的逻辑编程语言及其编译到Prolog中。第三届逻辑编程国际会议，伦敦，1986年7月。（发表于《计算机科学讲义》第225卷，施普林格-弗拉格出版社）·Zbl 0596.68013号 [18] Finger，M.、McBrien，P.和Owens，R.：数据库和可执行时态逻辑。1991年11月，ESPRIT会议记录。 [19] Fisher，M.和Noöl，P.：MetateM中的转化和合成？第一部分：介词MetateM。技术报告UMCS-92-2-1，英国曼彻斯特M13 9PL牛津路曼彻斯特大学计算机科学系，1992年2月。 [20] Fisher，M.和Owens，R.：从过去到未来：执行时序逻辑程序。《逻辑编程与自动推理（LPAR）会议录》，俄罗斯圣彼得堡，1992年7月。（发表于《计算机科学讲义》第624卷，施普林格-弗拉格出版社）。 [21] Fisher，M.和Owens，R.：可执行模态和时序逻辑简介。在M.Fisher和R.Owens编辑的《可执行模态和时序逻辑》中，《人工智能讲义》第897卷。施普林格·弗拉格，海德堡，德国，1995年·兹伯利0813.68029 [22] Fisher，M.和Owens，M.：编辑。可执行模态和时序逻辑，《人工智能讲义》第897卷。Springer-Verlag，1995年2月。 [23] Frühwirth，T.：时间逻辑和注释约束逻辑编程。在M.Fisher和R.Owens编辑的《可执行模态和时序逻辑》中，《人工智能讲义》第897卷。施普林格·弗拉格，海德堡，德国，1995年·Zbl 0867.68025号 [24] Fisher，M.和Wooldridge，M.：《分布式人工智能的可执行时间逻辑》，第十二届分布式人工智能国际研讨会，宾夕法尼亚州隐谷度假村，1993年5月。 [25] Gabbay，D.：声明性过去和强制性未来：交互式系统的可执行时间逻辑。B.Banieqbal、H.Barringer和A.Pnueli主编，《规范中的时间逻辑学术讨论会论文集》，英国阿尔特林查姆，1987年。（发表于《计算机科学讲义》第398卷，施普林格-弗拉格出版社）。 [26] Gabbay，D.：模态和时序逻辑II（时序Prolog机器）。逻辑编程编辑T.Dodd、R.Owens和S.Torrance？扩大视野。Intellect Books Ltd，1991年。 [27] Gough，G.D.：时间逻辑的决策程序。曼彻斯特大学计算机科学系硕士论文，1984年10月。 [28] Hale，R.：时序逻辑编程。在A.Galton编辑的《时态逻辑及其应用》中，第3章，第91-119页。学术出版社，伦敦，1987年12月·Zbl 0662.68011号 [29] Hale，R.和Moszkowski，B.：时序逻辑中的并行编程。InParallel Architectures and Languages Europe（巴黎），荷兰埃因霍温，1987年6月。（发表于《计算机科学讲义》，第259卷，柏林施普林格出版社。）·Zbl 0645.68009号 [30] Hrycej，T.：时间序言。《欧洲人工智能会议论文集》（ECAI）编辑伊夫·科德拉托夫（Yves Kodratoff）。皮特曼出版社，1988年8月·Zbl 0787.68094号 [31] Hrycej，T.：Prolog的时间扩展。逻辑编程杂志，15（1&2）：113-1451993年1月·Zbl 0787.68094号 ·doi:10.1016/0743-1066（93）90016-A [32] Jaffir，J.和Lassez，J-L.：约束逻辑编程。1987年1月，在西德慕尼黑举行的第十四届ACM程序设计语言原则研讨会上，第111-119页。 [33] Lichtenstein，O.，Pnueli，A.和Zuck，L.：《过去的荣耀》。计算机科学讲义，193:196-218，1985年6月·Zbl 0586.68028号 [34] Merz，S.：高效可执行的时序逻辑程序。在M.Fisher和R.Owens编辑的《可执行模态和时序逻辑》中，《人工智能讲义》第897卷。施普林格·弗拉格，海德堡，德国，1995年。 [35] Moszkowski，B.：关于数字电路的推理。技术报告，斯坦福大学，1983年。 [36] Moszkowski，B.：执行时序逻辑程序。剑桥大学出版社，英国剑桥，1986年·Zbl 0565.68003号 [37] Manna，Z.和Wolper，P.：从时间逻辑规范综合通信过程。《美国计算机学会编程语言与系统汇刊》，6（1），1984年1月·Zbl 0522.68030号 [38] Noöl，P.：一种确定命题时态公式的方法。T.Clement和K.Lau主编，《逻辑程序合成与转换（LOPSTR）研讨会论文集》，英国曼彻斯特，1991年7月。斯普林格·弗拉格。 [39] Orgun，M.和Ma，W.：时序和模态逻辑编程概述。1994年7月在德国波恩举行的第一届国际时间逻辑会议上。（发表于《计算机科学讲义》第827卷，施普林格-弗拉格出版社）·Zbl 0949.68513号 [40] Orgun，M.和Wadge，W.：时序逻辑编程的理论与实践。在L Fariñas del Cerro和M.Penttonen，编辑，《编程的内涵逻辑》。牛津大学出版社，1992年·Zbl 0754.68032号 [41] Orgun，M.和Wadge，W.：走向内涵逻辑编程的统一理论。逻辑程序设计杂志，13（1，2，3和4）：413-4401992·Zbl 0754.68032号 ·doi:10.1016/0743-1066（92）90055-8 [42] Pnueli，A.和Rosner，R.：关于反应性模块的合成。1989年第十六届ACM程序设计语言原则研讨会（POPL）会议记录，第179-190页·Zbl 0686.68015号 [43] Pnueli，A.和Rosner，R.：关于异步无功模块的合成。1989年第十六届国际自动化、语言和程序学术讨论会（ICALP）会议记录·Zbl 0686.68015号 [44] Tang，T.：时序逻辑CTL+Prolog。《自动推理杂志》，5:49-651989年·Zbl 0681.68018号 ·doi:10.1007/BF00245021 [45] Torsun，I.S.和Manning，K.J.：时间模态逻辑的执行和应用。英国布拉德福德大学计算机系内部报告，1990年。（Alvey关于逻辑数据库演示器项目的最终报告的一部分）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。