Angelo蒙塔纳里；阿德里亚诺·佩隆；阿尔贝托，Policriti 将Kamp定理扩展到时间粒度模型。 （英语） Zbl 1006.03015号 J.日志。计算。 12，第4期，641-677（2002）. 摘要：证明了关于Until算子函数完备性的Kamp定理的推广。泛化包括显示更具表现力的时态算子的函数完备性，这些时态算子相对于线性序的一阶理论（text{MFO}[<]\）的扩展具有额外的二元关系符号。这一结果的动机是寻找一种能够在（omega）分层时间结构中建模时间粒度的模式语言。审核人：贾科莫·博纳诺（戴维斯） 引用于三文件 MSC公司： 03B44号 时间逻辑 关键词：线性时序逻辑；\（ω）-分层时间结构；坎普定理；功能完整性；直到操作员；时间运算符；时间粒度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，J.Log。计算。12，第4号，641--677（2002；Zbl 1006.03015） 全文： 内政部