4 found
Sort by:
  1. Ernst-Erich Doberkat (2012). A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity. Journal of Symbolic Logic 77 (2):687-716.
    We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This is done first for the fragment of straight line programs and then extended to cater for the nondeterministic nature of choice and iteration, expanded to PDL as a whole. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques from coalgebraic stochastic logic (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Ernst-Erich Doberkat (2012). Lattice Properties of Congruences for Stochastic Relations. Annals of Pure and Applied Logic 163 (8):1016-1029.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Ernst-Erich Doberkat & Christoph Schubert (2009). Coalgebraic Logic for Stochastic Right Coalgebras. Annals of Pure and Applied Logic 159 (3):268-284.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Ernst-Erich Doberkat (2008). Stochastic Coalgebraic Logic: Bisimilarity and Behavioral Equivalence. Annals of Pure and Applied Logic 155 (1):46-68.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation