Stochastic coalgebraic logic - Doberkat, Ernst-Erich (Berlin, Germany Springer, 2010)
Keywords: Algebra, Universal; Algebraic logic; Modality (Logic); Stochastic processes