Graded semantics and graded logics for Eilenberg-Moore coalgebras
From MaRDI portal
Publication:6666776
DOI10.1007/978-3-031-66438-0_6MaRDI QIDQ6666776
Paul Wild, Jonas D. Förster, Harsh Beohar, Lutz Schröder, Karla Messing, Sebastian Gurke
Publication date: 20 January 2025
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Expressive logics for coalgebras via terminal sequence induction
- Universal coalgebra: A theory of systems
- Lifting results for categories of algebras
- A behavioural pseudometric for probabilistic transition systems
- Trace semantics via determinization
- Lax extensions of coalgebra functors and their logic
- Graded monads and rings of polynomials
- Expressivity of coalgebraic modal logic: the limits and beyond
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Trace semantics for coalgebras
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
- Coalgebraic Trace Semantics via Forgetful Logics
- Behavioral Metrics via Functor Lifting
- Final Semantics for Decorated Traces
- Metric spaces, generalized logic, and closed categories
- Termination in Convex Sets of Distributions
- From Branching to Linear Time, Coalgebraically
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- Steps and traces
- Simplified Coalgebraic Trace Equivalence
- Generic Trace Semantics and Graded Monads.
- Coalgebraic Infinite Traces and Kleisli Simulations
- Generic Trace Semantics via Coinduction
- Affine Monads and Side-Effect-Freeness
- Hennessy-Milner theorems via Galois connections
- Quantitative Hennessy-Milner theorems via notions of density
This page was built for publication: Graded semantics and graded logics for Eilenberg-Moore coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6666776)
