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