Coalgebraic logic for stochastic right coalgebras
DOI10.1016/j.apal.2008.06.018zbMath1179.03023OpenAlexW2030168280MaRDI QIDQ1023291
Ernst-Erich Doberkat, Christoph Schubert
Publication date: 11 June 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.06.018
predicate liftingsbehavioral equivalencebisimilaritycoalgebraic modal logicHennessy-Milner theoremstochastic relations
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (13)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Expressive logics for coalgebras via terminal sequence induction
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
- Bisimulation through probabilistic testing
- Coalgebraic logic
- Topology and descriptive set theory
- Universal coalgebra: A theory of systems
- Expressivity of coalgebraic modal logic: the limits and beyond
- Bisimulation and cocongruence for probabilistic systems
- Bisimulation for labelled Markov processes
- Measurable relations
- Survey of Measurable Selection Theorems
- Stochastic Relations
- Modular Algorithms for Heterogeneous Modal Logics
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
- Sur les multi-applications mesurables
- Semi-pullbacks for stochastic relations over analytic spaces
This page was built for publication: Coalgebraic logic for stochastic right coalgebras