Article contents
Coalgebraic logic over general measurable spaces – a survey
Published online by Cambridge University Press: 25 March 2011
Abstract
In this survey we discuss the generalisation of stochastic Kripke models for general modal logics through predicate liftings for functors over general measurable spaces. We derive results on expressivity and show that selection arguments allow us to incorporate the discussion of bisimilarity, provided the underlying spaces are assumed to be standard Borel.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 21 , Special Issue 2: Coalgebraic Logic , April 2011 , pp. 175 - 234
- Copyright
- Copyright © Cambridge University Press 2011
References
- 10
- Cited by