ESL Teaching Books – Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series). Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models. In the section “ESL Teaching books” this is an interesting book.