From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
From MaRDI portal
Recommendations
- Linear, branching time and joint closure semantics for temporal logic
- scientific article; zbMATH DE number 3878351
- Linear temporal logic -- from infinite to finite horizon
- Transition semantics for branching time
- scientific article; zbMATH DE number 5790393
- scientific article; zbMATH DE number 1848280
- Branching-Time Temporal Logics with Minimal Model Quantifiers
- scientific article; zbMATH DE number 2080198
- The axiomatization of propositional linear time temporal logic
- Bounded linear-time temporal logic: a proof-theoretic investigation
Cited in
(13)- Linear, branching time and joint closure semantics for temporal logic
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
- First-order definability of transition structures
- Quantification over sets of possible worlds in branching-time semantics
- Axiomatization of a branching time logic with indistinguishability relations
- Transition semantics for branching time
- Analyzing completeness of axiomatic functional systems for temporal modal logics
- scientific article; zbMATH DE number 4101144 (Why is no real title available?)
- Non-definability of the class of complete bundled trees
- Branching-time logic with quantification over branches: The point of view of modal logic
- scientific article; zbMATH DE number 7795664 (Why is no real title available?)
- Moment/history duality in Prior's logics of branching-time
This page was built for publication: From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3442402)
