Stochastic Coalgebraic Logic |
|
| Author:
| Springer,
Doberkat, Ernst-Erich |
| ISBN: | 978-3-642-26147-3 |
| Publication Date: | Mar 2012 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $316.95 |
Book Description:
|
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.
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.