Chapter

Logic and Its Applications

Volume 6521 of the series Lecture Notes in Computer Science pp 50-64

A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity

  • Ernst-Erich DoberkatAffiliated withChair for Software Technology, Technische Universität Dortmund

* Final gross prices may vary according to local VAT.

Get Access

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.