The following pages link to \textit{Once} and \textit{for all} (Q439961):
Displaying 19 items.
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- A hierarchy of temporal logics with past (Q672329) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- An extended branching-time Ockhamist temporal logic (Q1288173) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Specification in CTL + past for verification in CTL. (Q1854327) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Past is for free: on the complexity of verifying linear temporal properties with past (Q2842605) (← links)
- Back from the future (Q2901197) (← links)
- A quick axiomatisation of LTL with past (Q3159405) (← links)
- Branching-time type operators on finite pseudo-Boolean algebras (Q3546132) (← links)
- Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL (Q4276172) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- (Q4972740) (← links)
- (Q5015276) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
- (Q5111621) (← links)
- Semipositive LTL with an Uninterpreted Past Operator (Q5693114) (← links)
