Logic of Programs 1983: Logics of Programs pp 396-402 | Cite as

A theory of probabilistic programs

  • Rohit Parikh
  • Anne Mahoney
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)


We define a propositional programming language for probabilistic program schemes and study the equational properties of the programs thus arising.


Recursive Call Dynamic Logic Probabilistic Program Propositional Dynamic Logic Finite Model Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [FH]
    Y. Feldman and D. Harel, "A Probabilistic Dynamic Logic", Proceedings of the 14th STOC, (1982) pp.181–195.Google Scholar
  2. [F]
    Y. Feldman, "A Decidable Propositional Probabilistic Dynamic Logic", Proceedings of the 15th STOC (1983) pp 298–309.Google Scholar
  3. [K1]
    D. Kozen, "Semantics of Probabilistic Programs", 20th IEEE-FOCS (1979) pp 101–114. Also JCSS vol 22 (1981) pp 328–350.Google Scholar
  4. [K2]
    D. Kozen, "A Probabilistic PDL", 15th ACM-STOC 1983, pp. 291–297.Google Scholar
  5. [P]
    R. Parikh, "Propositional Logics of Programs: A Survey", Logic of Programs Ed. E. Engeler, Springer LNCS 125, pp 102–144Google Scholar
  6. [R]
    J. Reif, "Logics for Probabilistic Programming", 12th ACM-STOC (1980) pp 8–13Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Rohit Parikh
    • 1
  • Anne Mahoney
    • 2
  1. 1.Department of Computer ScienceBrooklyn College of CUNYBrooklyn
  2. 2.Mathematics DepartmentBoston UniversityBoston

Personalised recommendations