The following pages link to Intervals and tenses (Q1147692):
Displaying 21 items.
- Checking interval properties of computations (Q329413) (← links)
- Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
- The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics (Q1078165) (← links)
- Temporal logics in AI: semantical and ontological considerations (Q1096384) (← links)
- From worlds to possibilities (Q1161736) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies (Q1414569) (← links)
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
- Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Model checking interval temporal logics with regular expressions (Q2182727) (← links)
- On interval modal logic with ``after'' relation (Q2364466) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Two-sorted Point-Interval Temporal Logics (Q2825405) (← links)
- (Q3384161) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- (Q5015270) (← links)
- On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)
- CHOICE-FREE STONE DUALITY (Q5107222) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)
