Deng, Yuxin 

Title: Logical Characterizations of Probabilistic Bisimilarity

Abstract: For labeled Markov processes with continuous state space, van Breugel et al. provided a remarkable modal logic to characterize probabilistic bisimilarity without employing any modality indexed with numbers. The proof of this elegant characterization employs advanced machinery on topology theory. In the discrete case of finite state probabilistic processes, we prove that result with an elementary and more accessible proof. Moreover, our proof is constructive.