2011 seminar talk: Selection Theorems, Transition Probabilities and Stochastic Kripke models

Talk held by Shashi Srivastava (Indian Statistical Institute, Kolkata) at the KGRC seminar on 2011-04-07.

Abstract

We use measurable selection theorems to prove various results on transition probabilities over standard Borel spaces. We then show that logical equivalence, behavioral equivalence and bisimilarity are equivalent for stochastic Kripke models over standard Borel spaces.