A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity

  • Ernst-Erich Doberkat
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6521)

Abstract

We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. 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 and point out some connections to Souslin’s operation \(\mathcal{A}\) from descriptive set theory.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Ernst-Erich Doberkat
    • 1
  1. 1.Chair for Software TechnologyTechnische Universität DortmundGermany

Personalised recommendations