Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3880483 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 515978 (Why is no real title available?)
- scientific article; zbMATH DE number 7088727 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A coalgebraic perspective on monotone modal logic
- A lattice-theoretical fixpoint theorem and its applications
- A logic for reasoning about time and reliability
- Affine Monads and Side-Effect-Freeness
- Automata and fixed point logic: a coalgebraic perspective
- Bilinearity and Cartesian Closed Monads.
- CTL^* and ECTL^* as fragments of the modal -calculus
- Categorical Büchi and parity conditions via alternating fixed points of functors
- Coalgebraic infinite traces and Kleisli simulations
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Constructive versions of Tarski's fixed point theorems
- Decision procedures and expressiveness in the temporal logic of branching time
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- Game-based local model checking for the coalgebraic \(\mu\)-calculus
- Lattice-theoretic progress measures and coalgebraic model checking
- Maximal traces and path-based coalgebraic temporal logics
- Model checking computation tree logic over finite lattices
- PSPACE bounds for rank-1 modal logics
- Results on the propositional \(\mu\)-calculus
- Semantics of weakening and contraction
- Terminal Coalgebras for Measure-Polynomial Functors
- Trace semantics for coalgebras
- Using branching time temporal logic to synthesize synchronization skeletons
- “Sometimes” and “not never” revisited
This page was built for publication: Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6666771)
