The following pages link to On Almost Future Temporal Logics (Q2947179):
Displaying 7 items.
- No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic (Q259068) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic (Q4611678) (← links)
- Asymptotic behaviour in temporal logic (Q4635593) (← links)
- (Q5417801) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897950) (← links)
