Coalgebraic Logic

  • Ernst-Erich Doberkat
Part of the Monographs in Theoretical Computer Science. An EATCS Series book series (EATCS)


Investigating equivalent behavior of stochastic Kripke models for modal logics or their close cousins such as the tree logics used for model checking follows usually this pattern: the state space is partitioned into states that satisfy exactly the same formulas. The existence of a bisimulation, behavioral equivalence, or identification of a minimal set of formulas to test against follows then from an investigation of this equivalence relation, exploiting characteristic properties that are handed down from the logic. A stochastic Kripke model is usually based on a coalgebra, and the analysis of the behavior may usually be reduced to an investigation of congruence properties for this coalgebra.


Modal Logic Analytic Space Polish Space Kripke Model State Formula 
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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  1. 1.Lehrstuhl für Software-Technologie, Fakultät für Informatik Technische Universität DortmundDortmundGermany

Personalised recommendations