Stochastic Coalgebraic Logic (Monographs in