Expressiveness of probabilistic modal logics

I will show new proofs of expressiveness of modal logics for probabilistic bisimulation and simulation on continuous-state Labelled Markov Processes, with a new result about Polish spaces on the way. This is joint work with Nathanael Fijalkow and Prakash Panangaden, with an important contribution of Roman Pol.