.png){kind=icon}
返回
Interval Temporal Logic HS with Path Quantifiers
.png){kind=icon}
PRE
AI
DOI：10.1007/978-981-95-2481-5_6.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
为增强分支区间模型上区间时序逻辑HS的表达能力，本文通过引入路径上的量词扩展了HS的语言。我们还通过在区间-路径对上而非仅在区间上评估公式，修改了HS的原始语义。我们对HS的扩展与将CTL扩展到CTL*相一致。本文将所得逻辑称为HS*。我们证明HS*比HS具有更强的表达能力，并且还表明HS*是单路逻辑（Monadic Path Logic）的一个片段，该逻辑是一种单称二阶逻辑，其中集合量化被限制在路径上。
Keyword:
Interval temporal logic
Branching interval models
Expressivity
期刊
L
IF:
0
论文数:
12
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容