安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托·波利里蒂 分层度量时间结构的可判定理论。 (英语) Zbl 0945.03022号 霍华德·巴林格等人,《时序逻辑的进展》。1997年,英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。16, 91-108 (2000). 摘要:本文主要研究度量时序逻辑和分层时序逻辑的可判定性问题。我们证明了具有无限多个任意粗糙时间层的度量时间结构理论和具有无限多的任意精细时间层的测度时间结构理论的可判定性。第一个理论的证明是通过对S1S扩展的可判定性问题的简化而得到的,S1S扩展是收缩树自动机所接受的一类欧米伽语言的逻辑对应物。第二个问题的证明是通过将成功子SkS简化为一元二阶可判定理论来完成的。有关整个系列,请参见[Zbl 0931.00025]。 引用于1文件 MSC公司: 03B44号 时间逻辑 03B25号 理论和句子集的可决定性 关键词:时序逻辑;可判定性;度量时间结构;时间层 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,应用。日志。序列号。16、91——108(2000;Zbl 0945.03022)