The following pages link to (Q2766545):
Displaying 6 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
