Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence

Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate liftings. It is investigated under which conditions for the functor these notions of equivalence are related by discussing congruences for the underlying stochastic relation. It is demonstrated that logics so diverse as continuous time stochastic logic and general modal logics can be usefully approached through coalgebraic methods.

• Type: Journal
• Year: 2008
• Where: APAL
• Authors: Ernst-Erich Doberkat
• Keywords: APAL 2008, Logical Equivalence, Logics, Stochastic