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

semanticscompletenessdynamic logicprobabilistic 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)

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
• Publication:3028979
• 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

• 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?)
• A probabilistic PDL
• Concerning measures in first order calculi
• Descriptive set theory
• First-order dynamic logic
• 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)

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

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)