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

zbMATH Keywords

predicate liftingsbehavioral equivalencebisimilaritycoalgebraic modal logicHennessy-Milner theoremstochastic relations

Mathematics Subject Classification ID

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)

A stochastic interpretation of propositional dynamic logic: expressivity ⋮ Unnamed Item ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence ⋮ A quantified coalgebraic van Benthem theorem ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Bisimilarity of Distributionally Equivalent Markov Transition Systems ⋮ Bisimilarity is not Borel ⋮ Weak bisimulations for the Giry monad ⋮ On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras ⋮ Saturated Kripke structures as Vietoris coalgebras

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