Stochastic coalgebraic logic
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin, Germany :
Springer ,
c2010
|
| Series: | Monographs in theoretical computer science an eatcs series
|
| Subjects: |
Table of Contents:
- 1. Borel sets, measures and all that
- 2. Modal logics
- 3. The giry monad: randomized morphisms
- 4. Coalgebraic logic
- 5. The grammars