A probabilistic dynamic logic

DOI10.1016/0022-0000(84)90065-5zbMath0537.68036OpenAlexW1984960155MaRDI QIDQ792757

David Harel, Yishai A. Feldman

Publication date: 1984

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(84)90065-5

zbMATH Keywords

completenessdynamic logicsemanticsprobabilistic programs

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items

Extending propositional dynamic logic for Petri nets ⋮ Reasoning about probabilistic sequential programs ⋮ A dynamic logic with branching modalities ⋮ Probabilistic Logic over Paths ⋮ Partial correctness for probabilistic demonic programs ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ An analysis of first-order logics of probability ⋮ Decidability of finite probabilistic propositional dynamic logics

Cites Work

• A probabilistic PDL
• Descriptive set theory
• Semantics of probabilistic programs
• First-order dynamic logic
• Propositional dynamic logic of regular programs
• Probabilistic parallel prefix computation
• Concerning measures in first order calculi
• Soundness and Completeness of an Axiom System for Program Verification
• Termination of Probabilistic Concurrent Program
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item