A probabilistic dynamic logic

DOI10.1016/0022-0000(84)90065-5MaRDI QIDQ792757zbMATH OpenOpenAlexFDO

Authors Yishai A. Feldman, David Harel

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 logicprobabilistic programssemantics

Mathematics Subject Classification ID

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

Recommendations

• A decidable propositional dynamic logic with explicit probabilities
• A propositional dynamic logic with qualitative probabilities
• A First-Order Dynamic Probability Logic
• Probabilistic dynamic epistemic logic
• scientific article; zbMATH DE number 4016864
• Probabilistic logic
• scientific article; zbMATH DE number 2227378
• Decidability of finite probabilistic propositional dynamic logics
• A stochastic interpretation of propositional dynamic logic: expressivity
• A stochastic interpretation of propositional dynamic logic: expressivity

Cites work

• A probabilistic PDL
• Concerning measures in first order calculi
• Descriptive set theory
• First-order dynamic logic
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 140573 (Why is no real title available?)
• scientific article; zbMATH DE number 3562575 (Why is no real title available?)
• scientific article; zbMATH DE number 3597592 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3321248 (Why is no real title available?)
• scientific article; zbMATH DE number 3190627 (Why is no real title available?)
• Probabilistic parallel prefix computation
• Propositional dynamic logic of regular programs
• Semantics of probabilistic programs
• Soundness and Completeness of an Axiom System for Program Verification
• Termination of Probabilistic Concurrent Program

Cited in

(20)

• A probabilistic PDL
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Reasoning about probabilistic sequential programs in a probabilistic logic
• A propositional dynamic logic with qualitative probabilities
• A dynamic hybrid logic for followership
• Reasoning about probabilistic sequential programs
• scientific article; zbMATH DE number 1696513 (Why is no real title available?)
• Extending propositional dynamic logic for Petri nets
• Reasoning About States of Probabilistic Sequential Programs
• A decidable propositional dynamic logic with explicit probabilities
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Stochastic differential dynamic logic for stochastic hybrid programs
• Probabilistic logic over paths
• Partial correctness for probabilistic demonic programs
• VPHL: a verified partial-correctness logic for probabilistic programs
• A dynamic logic with branching modalities
• Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
• On lexicographic proof rules for probabilistic termination
• An analysis of first-order logics of probability
• Decidability of finite probabilistic propositional dynamic logics

This page was built for publication: A probabilistic dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792757)