×
安吉洛·蒙塔纳里；阿尔贝托，Policriti

度量和分层时序逻辑的可判定性结果。 （英语） Zbl 0858.03018号

圣母院J.形式逻辑 37，第2期，260-282（1996）.
研究了度量和分层时序逻辑（MLTL）的可判定性问题。度量时态逻辑用相对时态实现的参数化算子扩展了命题逻辑。MLTL可以被视为许多不同粒度的度量时态逻辑的组合。它将度量时态逻辑的平坦时态域替换为由一组不同粒度的时态域以及属于不同域的瞬时之间的关系组成的时态宇宙。MLTL的可判定性是通过将有限层的度量时间结构嵌入到它们最细的度量分量中来研究的，然后将最简单分量理论的可判定性简化为已知可判定的理论，即S1S（一个后继的二阶理论）。
审核人：D.格鲁斯卡（布拉迪斯拉发）

引用于1审查
引用于三文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B25号 理论和句子集的可决定性

关键词：

时间粒度；可判定性；度量和分层时序逻辑
PDF格式BibTeX公司 XML格式引用
\textit{A.Montanari}和\textit{A.Policriti}，圣母院J.形式逻辑37，第2期，260--282（1996；Zbl 0858.03018）
全文： 内政部 链接

参考文献：

[1] Alur，R.和T.A.Henzinger，“实时逻辑：复杂性和表现力”，《信息与计算》，第104卷（1993年），第35-77页·Zbl 0791.68103号 ·doi:10.1006/inco.1993.1025
[2] Büchi，J.R.，“弱二阶算术和有限自动机”，Zeitschrift füR mathematishce Logik und Grundlagen der Mathematik，第6卷（1960），第66-92页·Zbl 0103.24705号 ·doi:10.1002/malq.19600060105
[3] Büchi，J.R.，“关于限制二阶算术中的决策方法”，第1-11页，由E.Nagel，P.Suppes和a.Tarski编辑的《第一届逻辑、方法论和科学哲学国际会议论文集》，斯坦福大学出版社，斯坦福，1962年·Zbl 0147.25103号
[4] Ciapessoni，E.、E.Corsetti、A.Montanari和P.San Pietro，“在同步实时系统的逻辑规范语言中嵌入时间粒度”，《计算机编程科学》，第20卷（1993年），第141-171页·Zbl 0781.68083号 ·doi:10.1016/0167-6423（93）90025-K
[5] D’Agostino，G.，A.Montanari和A.Policiti，“多模态逻辑的集合论翻译方法”，《自动推理杂志》，第15卷（1995年），第317-337页·Zbl 0840.03015号 ·doi:10.1007/BF00881803
[6] Ershov，Y.L.，I.A.Lavrov，A.D.Taimanov，和M.A.Taitslin，“基本理论”，《俄罗斯数学调查》，第20卷（1965年），第35-105页·Zbl 0199.03001号
[7] Euzenat，J.，“定性空间和时间表示中粒度的代数方法”，第894-900页，载于《1995年国际计算机学会会刊》，Morgan Kaufmann，San Mateo，1995年。
[8] Fiadeiro，J.和T.Maibaum，“有时‘明天’就是‘有时’——对象时序逻辑中的动作细化”，第48-66页，《1994年国际刑事法庭诉讼》，LNAI 827，柏林斯普林格·弗拉格出版社，1992年·兹比尔0949.68539
[9] Finger，M.和D.Gabbay，“组合时序逻辑系统”，《圣母院形式逻辑杂志》，第37卷（1996年），第204-232页·Zbl 0857.03008号 ·数字对象标识代码：10.1305/ndjfl/1040046087
[10] Gabbay，D.、A.Pnueli、S.Shelah和J.Stavi，“公平的时间分析”，第163-173页，《第七届编程语言原则年度研讨会论文集》，美国计算机学会出版社，纽约，1980年。
[11] Koymans，R.，“用时序逻辑指定消息传递和时间关键系统”，LNCS 651，Springer-Verlag，柏林，1992年·Zbl 0806.68074号 ·doi:10.1007/3-540-56283-4
[12] Manna，Z.和A.Pnueli，《反应和并发系统的时间逻辑》，Springer-Verlag出版社，柏林，1992年·Zbl 0753.68003号
[13] Montanari，A.，“时间粒度、同步和异步的度量和分层时序逻辑”，第49–58页，《ICTL’94研讨会论文集》，MPI-I-94-230，H.J.Ohlbach编辑，Max-Planck-Institut für Informatik，Saarbrucken，1994年。
[14] Montanari，A.和M.de Rijke，“两分类度量时序逻辑的完整性结果”，第385-399页，载于《1995年AMAST会议录》，LNCS 936，Springer-Verlag，柏林，1995年。
[15] Montanari，A.和A.Policriti，“有限层度量时间结构的可判定理论”，报告ML-96-06，ILLC，阿姆斯特丹大学，1996年7月。
[16] Montanari，A.、A.Peron和A.Policriti，“（omega）分层度量时间结构的可判定理论”，报告ML-96-07，ILLC，阿姆斯特丹大学，1996年7月·Zbl 0945.03022号
[17] M.O.拉宾，“可判定理论”，第595-629页，《数学逻辑手册》，J.Barwise编辑，北霍兰德，安斯特丹，1977年·Zbl 0443.03001号
[18] Thomas，W.，“无限对象上的自动机”，第131-191页，《理论计算机科学手册》，J.van Leeuwen编辑，Elsevier，阿姆斯特丹，1990年·Zbl 0900.68316号
[19] van Benthem J.，“时序逻辑”，第241-350页，《人工智能和逻辑编程逻辑手册》，第4卷，由D.Gabbay、C.Hogger和J.Robinson编辑，牛津大学出版社，1995年。
[20] Wang，X.，C.Bettini，A.Brodsky和S.Jajodia，“具有多粒度的时态数据库的逻辑设计”，即将在ACM TODS中发布。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。