A stochastic interpretation of propositional dynamic logic: expressivity

Authors:
Ernst-Erich Doberkat
Affiliations:
Technische Universität Dortmund
Venue:
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Year:
2011

Citing 7
Cited 0

Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Modal logic

Modal logic
On Observing Nondeterminism and Concurrency

Proceedings of the 7th Colloquium on Automata, Languages and Programming
Bisimulation for labelled Markov processes

Information and Computation - Special issue: LICS'97
Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic
Coalgebraic logic over general measurable spaces ??? a survey

Mathematical Structures in Computer Science
Modular algorithms for heterogeneous modal logics

ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming

Quantified Score

Hi-index	0.00

Visualization

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 A from descriptive set theory.