NO NEED TO BE STRICT: ON THE EXPRESSIVENESS OF METRIC TEMPORAL LOGICS WITH (NON-)STRICT OPERATORS

被引：0
|
作者：
Furia, Carlo A. [1 ]
Rossi, Matteo [1 ]
机构：
[1] Politecn Milan, Dipartimento Elettron & Informaz, Milan, Italy
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2007年 / 92期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The until modality of temporal logic "A until B" is called strict in its first argument when it does not constrain the value of the first argument A at the instant at which the formula is evaluated. In this paper, we show that linear metric temporal logics with bounded until modalities that are non-strict in the first argument are as expressive as those with strict modalities, when interpreted over non-Zeno dense-time models.
引用
收藏
页码：150 / 160
页数：11
相关论文
共 9 条
1