A decidable propositional probabilistic dynamic logic (1983)

by Y FELDMAN
Venue:in "Proceedings 15th ACM Sympos. Theory of Comput