.png){kind=icon}
.png){kind=icon}
Return
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}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
To enhance the expressiveness of the interval temporal logic HS over branching interval models, this paper extends the language of HS by introducing quantifiers over paths. We also modify the original semantics of HS by evaluating formulas on pairs of intervals and paths, rather than on intervals alone. Our extension of HS aligns with the extension of CTL to CTL*. The resulting logic is called HS* in this paper. We show that HS* is strictly more expressive than HS, and we also demonstrate that HS* is a fragment of Monadic Path Logic, a monadic second-order logic where set quantification is restricted to paths.
Keywords:
Interval temporal logic
Branching interval models
Expressivity
Journal
L
IF:
0
Papers:
12
Citations:
0