A probabilistic PDL

1985/04/01 by Dexter Kozen · 12 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge

paper · doi:10.1016/0022-0000(85)90012-1

Citations

• Semantics of probabilistic programs
• Propositional dynamic logic of regular programs

Cited by

• Aleatoric Description Logic for Probailistic Reasoning (Long Version)
• A new rule for almost-certain termination of probabilistic- and demonic\n programs
• Instruction sequence notations with probabilistic instructions
• Conditioning in Probabilistic Programming
• Compositional closure for Bayes Risk in probabilistic noninterference
• Verification Logics for Quantum Programs
• Formal Semantics of a Classical-Quantum Language
• Higher-order probabilistic adversarial computations: Categorical semantics and program logics
• Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
• Effectuses in Categorical Quantum Foundations
• On the construction of multi-valued concurrent dynamic logic
• Automated Termination Analysis of Polynomial Probabilistic Programs [europepmc]