Pages that link to "Item:Q672329"
From MaRDI portal
The following pages link to A hierarchy of temporal logics with past (Q672329):
Displayed 15 items.
- \textit{Once} and \textit{for all} (Q439961) (← links)
- About the expressive power of CTL combinators (Q672975) (← links)
- Translations between modal logics of reactive systems (Q674003) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Specification in CTL + past for verification in CTL. (Q1854327) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past (Q2842605) (← links)
- Back from the future (Q2901197) (← links)
- Hybrid and First-Order Complete Extensions of CaRet (Q3010360) (← links)
- On the Hybrid Extension of CTL and CTL + (Q3182944) (← links)
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787) (← links)
- On the Complexity of Branching-Time Logics (Q3644771) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- CaRet With Forgettable Past (Q4982130) (← links)
- The Complexity of CTL* + Linear Past (Q5458359) (← links)