Pages that link to "Item:Q672329"
From MaRDI portal
The following pages link to A hierarchy of temporal logics with past (Q672329):
Displaying 32 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- \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)
- A branching time logic with past operators (Q1337463) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Specification in CTL + past for verification in CTL. (Q1854327) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- Past is for free: On the complexity of verifying linear temporal properties with past (Q1889855) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← 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)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← 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)
- Regular Linear Temporal Logic with Past (Q3656890) (← links)
- Results on the glory of the past (Q3976046) (← links)
- Past proves more invariance properties but not pca's (Q3979260) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- CaRet With Forgettable Past (Q4982130) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
- The Complexity of CTL* + Linear Past (Q5458359) (← links)
- Event Identifier Logic (Q5740354) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897950) (← links)
