Coalgebraic logic over general measurable spaces – a survey
Ernst–Erich Doberkat, Christoph Schubert · Mathematical Structures in Computer Science · 2011
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.