Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces

  • Ernst-Erich Doberkat
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5532)


We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and includes bisimilarity; the results here indicate that a measurable structure on the state space of the Kripke model suffices. In contrast to a paper by Danos et al. we focus on the measurable structure of the factor space induced by the logic. This technique worked well in the analytic case, and it is shown to work here as well. The main contribution of the paper is methodological, since it provides a uniform framework for general measurable as well as more specialized analytic spaces.


Equivalence Relation Measurable Space Logical Equivalence Analytic Space Measurable Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Danos, V., Desharnais, J., Laviolette, F., Panangaden, P.: Bisimulation and cocongruence for probabilistic systems. Information and Computation 204(4), 503–523 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation of labelled Markov-processes. Information and Computation 179(2), 163–193 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Doberkat, E.-E.: Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. SIAM J. Computing 35(3), 590–626 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Doberkat, E.-E.: Kleisli morphisms and randomized congruences for the Giry monad. J. Pure Appl. Alg. 211, 638–664 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Doberkat, E.-E.: Stochastic coalgebraic logic. Technical Report 174, Chair for Software Technology, TU Dortmund, November 2008. Springer, Heidelberg (2009)Google Scholar
  6. 6.
    Doberkat, E.-E.: Behavioral and logical equivalence of stochastic Kripke models in general measurable spaces. Technical Report 176, Chair for Software Technology, Technische Universität Dortmund (January 2009)Google Scholar
  7. 7.
    Giry, M.: A categorical approach to probability theory. In: Categorical Aspects of Topology and Analysis. Lect. Notes Math., vol. 915, pp. 68–85. Springer, Berlin (1981)CrossRefGoogle Scholar
  8. 8.
    Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation 94, 1–28 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Pattinson, D.: Expressive logics for coalgebras via terminal sequence induction. Notre Dame J. Formal Logic 45(1), 19–33 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Schneider, S., Thomas, S.: Countable Borel equivalence relations, Athens, OH, November 2007. Lecture Notes, Appalachian Set Theory Seminar (2007)Google Scholar
  11. 11.
    Schubert, C.: Final coalgebras for measure-polynomial functors. Technical Report 175, Chair for Software Technology, Technische Universität Dortmund (December 2008)Google Scholar
  12. 12.
    Schubert, C.: Coalgebraic logic over measurable spaces: Behavioral and logical equivalence. Technical Report 177, Chair for Software Technology, Technische Universität Dortmund (February 2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ernst-Erich Doberkat
    • 1
  1. 1.Chair for Software TechnologyTechnische Universität Dortmund 

Personalised recommendations