Recommendations
Cites work
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- scientific article; zbMATH DE number 4027441 (Why is no real title available?)
- scientific article; zbMATH DE number 3714896 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 708661 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 4119617 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Characterization of temporal property classes
- Characterizing finite Kripke structures in propositional temporal logic
- Decision procedures and expressiveness in the temporal logic of branching time
- Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
- Symbolic model checking: \(10^{20}\) states and beyond
- The complexity of propositional linear temporal logics
- The temporal logic of branching time
- Translations between modal logics of reactive systems
- “Sometimes” and “not never” revisited
Cited in
(33)- CaRet with forgettable past
- scientific article; zbMATH DE number 18642 (Why is no real title available?)
- An infinite hierarchy of temporal logics over branching time
- A survey on temporal logics for specifying and verifying real-time systems
- Back from the future
- On the Complexity of Branching-Time Logics
- Axiomatization of a branching time logic with indistinguishability relations
- Interval vs. point temporal logic model checking. An expressiveness comparison
- Regular linear temporal logic with past
- Alternating-time temporal logics with linear past
- Inconsistency-tolerant temporal reasoning with hierarchical information
- Results on alternating-time temporal logics with linear past
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- \textit{Once} and \textit{for all}
- On the Hybrid Extension of CTL and CTL +
- The Complexity of CTL* + Linear Past
- Temporal logic and fair discrete systems
- A branching time logic with past operators
- Past is for free: on the complexity of verifying linear temporal properties with past
- Hybrid and first-order complete extensions of CaRet
- Past is for free: On the complexity of verifying linear temporal properties with past
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Specification in CTL + past for verification in CTL.
- Formal Modeling and Analysis of Timed Systems
- Branching-time logics repeatedly referring to states
- Event identifier logic
- An axiomatization of PCTL*
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
- Temporal multi-valued logic with lost worlds in the past
- Multi-Valued Reasoning about Reactive Systems
- About the expressive power of CTL combinators
- Translations between modal logics of reactive systems
- Past, present, and infinite future
This page was built for publication: A hierarchy of temporal logics with past
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672329)
