Doberkat, Ernst-Erich
Stochastic Coalgebraic Logic
Table of contents
1. Borel Sets, Measures and All That
Ernst-Erich Doberkat
2. Modal Logics
Ernst-Erich Doberkat
3. The Giry Monad: Randomized Morphisms
Ernst-Erich Doberkat
4. Coalgebraic Logic
Ernst-Erich Doberkat
Keywords: Computer Science, Mathematical Logic and Formal Languages, Probability Theory and Stochastic Processes, Artificial Intelligence (incl. Robotics), Category Theory, Homological Algebra, Statistical Theory and Methods
- Author(s)
- Doberkat, Ernst-Erich
- Publisher
- Springer
- Publication year
- 2009
- Language
- en
- Edition
- 1
- Series
- Monographs in Theoretical Computer Science. An EATCS Series
- Page amount
- 13 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783642029950
