Pages that link to "Item:Q5096734"
From MaRDI portal
The following pages link to An algebraic approach to temporal logic (Q5096734):
Displaying 11 items.
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- On Process-Algebraic Extensions of Metric Temporal Logic (Q3163409) (← links)
- Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity (Q4323829) (← links)
- (Q4591089) (← links)
- An Algebraic Approach to Time-Span Reduction (Q4595382) (← links)
- Asymptotic behaviour in temporal logic (Q4635593) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- Interval Temporal Logic Semantics of Box Algebra (Q5404934) (← links)
- An algebraic study of tense logics with linear time (Q5537602) (← links)
- A temporal logic for sortals (Q5959761) (← links)
- (Q6167899) (← links)