Combining coalgebraic reasoning, stochastic systems & logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations & an analysis of Kripke models.