Ernst-Erich Doberkat

Ernst-Erich Doberkat's Books

Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic

  • Publication Date: December 24, 2009
  • ISBN13: 978-3-642029-94-3

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. Learn More …