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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
Blackburn, P., van Benthem, J.: Modal logic: A semantic perspective. In: Blackburn, P., et al. (eds.) Handbook of Modal Logic, pp. 1–84. Elsevier, Amsterdam (2007)
Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation of labelled Markov-processes. Information and Computation 179(2), 163–193 (2002)
Doberkat, E.-E.: Stochastic Coalgebraic Logic. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2009)
Doberkat, E.-E., Schubert, C.: Coalgebraic logic over general measurable spaces - a survey. Math. Struct. Comp. Science (in print, 2011) (Special issue on coalgebraic logic)
Doberkat, E.-E., Srivastava, S.M.: Measurable selections, transition probabilities and Kripke models. Technical Report 185, Chair for Software Technology, Technische Universität Dortmund (May 2010)
Hennessy, M., Milner, R.: On observing nondeterminism and concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 395–409. Springer, Heidelberg (1980)
Moderer, D., Samet, D.: Approximating common knowledge with common belief. Games and Economic Behavior 1, 170–190 (1989)
Pauly, M., Parikh, R.: Game logic — an overview. Studia Logica 75, 165–182 (2003)
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249(1), 3–80 (2000) (Special issue on modern algebra and its applications)
Schröder, L., Pattinson, D.: Modular algorithms for heterogeneous modal logics. In: Arge, L., Cachin, C., Jurdziński, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 459–471. Springer, Heidelberg (2007)
Srivastava, S.M.: A Course on Borel Sets. Graduate Texts in Mathematics. Springer, Berlin (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Doberkat, EE. (2011). A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity. In: Banerjee, M., Seth, A. (eds) Logic and Its Applications. ICLA 2011. Lecture Notes in Computer Science(), vol 6521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18026-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-18026-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18025-5
Online ISBN: 978-3-642-18026-2
eBook Packages: Computer ScienceComputer Science (R0)