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.


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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.