Pages that link to "Item:Q5111452"
From MaRDI portal
The following pages link to Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption (Q5111452):
Displaying 8 items.
- Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- (Q5079773) (← links)
- On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)
- The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \textsc{ExpSpace-complete} (Q6563047) (← links)
- Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete (Q6649523) (← links)
