On the Expressiveness of TPTL and MTL over ω-Data Words
On the Expressiveness of TPTL and MTL over ω-Data Words
复制标题
论 TPTL 和 MTL 在 ω-数据字上的表达能力
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Karin Quaas
中科院分区：
文献类型：
--
作者：
Claudia Carapelle;Shiguang Feng;O. Gil;Karin Quaas
度量时态逻辑(MTL)和时序命题时态逻辑(TPTL)是线性时态逻辑的重要扩展，用于描述数据语言的性质。本文考虑自然数上非单调数据字的数据语言类。我们证明，在这种情况下，TPTL比MTL更具表现力。为此，我们介绍了
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages. In this paper, we consider the class of data languages of non-monotonic data words over the natural numbers. We prove that, in this setting, TPTL is strictly more expressive than MTL. To this end, we introduce