Continuation semantics for fixpoint modal logic and computation tree logics
From MaRDI portal
Cites work
- “Sometimes” and “not never” revisited
- A coalgebraic approach to linear-time logics
- A coalgebraic perspective on monotone modal logic
- A lattice-theoretical fixpoint theorem and its applications
- Algebraic foundations of many-valued reasoning
- Automata and fixed point logic: a coalgebraic perspective
- Automata, logics, and infinite games. A guide to current research
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
- Coalgebraic infinite traces and Kleisli simulations
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Combining algebraic effects with continuations
- 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
- scientific article; zbMATH DE number 3880483 (Why is no real title available?)
- scientific article; zbMATH DE number 3461905 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (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?)
- Introduction to coalgebra. Towards mathematics of states and observation
- Lattice Theory: Foundation
- Lattice-theoretic progress measures and coalgebraic model checking
- Maximal traces and path-based coalgebraic temporal logics
- Measure-theoretic semantics for quantitative parity automata
- On the call-by-value CPS transform and its semantics
- On the category \(Q\)-\textbf{Mod}
- Propositional dynamic logic of regular programs
- Results on the propositional \(\mu\)-calculus
- Semantics of weakening and contraction
- Strong completeness for iteration-free coalgebraic dynamic logics
- The expectation monad in quantum foundations
- Trace semantics for coalgebras
- Traces via strategies in two-player games
- Universal grammar
- Up-to techniques for behavioural metrics via fibrations
- Using branching time temporal logic to synthesize synchronization skeletons
- Weak completeness of coalgebraic dynamic logics
- Weakest preconditions in fibrations
This page was built for publication: Continuation semantics for fixpoint modal logic and computation tree logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7312205)
