A decidable propositional dynamic logic with explicit probabilities

DOI10.1016/S0019-9958(84)80039-XMaRDI QIDQ3721807zbMATH OpenFDO

Authors Yishai A. Feldman

Publication date 1984

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(84)80039-X

zbMATH Keywords

probabilistic programsmeasure theoretical modelsschematic models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Abstract data types; algebraic specification (68Q65)

Recommendations

• Decidability of finite probabilistic propositional dynamic logics
• A probabilistic dynamic logic
• A probabilistic PDL
• A Logic of Probability with Decidable Model Checking
• scientific article; zbMATH DE number 1948170

Cited in

(23)

• Reasoning About States of Probabilistic Sequential Programs
• scientific article; zbMATH DE number 3858391 (Why is no real title available?)
• scientific article; zbMATH DE number 1948170 (Why is no real title available?)
• Probabilistic temporal logic with countably additive semantics
• A survey on temporal logics for specifying and verifying real-time systems
• A possibilistic decision logic with applications
• Extending propositional dynamic logic for Petri nets
• Reasoning about probabilistic sequential programs
• A Logic of Probability with Decidable Model Checking
• scientific article; zbMATH DE number 7713505 (Why is no real title available?)
• Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
• A stochastic interpretation of propositional dynamic logic: expressivity
• A probabilistic dynamic logic
• On Lexicographic Proof Rules for Probabilistic Termination
• Decidability of finite probabilistic propositional dynamic logics
• A probabilistic PDL
• Reasoning about group responsibility for exceeding risk threshold in one-shot games
• On lexicographic proof rules for probabilistic termination
• A propositional linear time logic with time flow isomorphic to ^2
• A logic for reasoning about probabilities
• A stochastic interpretation of propositional dynamic logic: expressivity
• Probabilistic logic over paths
• Probabilistic Temporal Logics

This page was built for publication: A decidable propositional dynamic logic with explicit probabilities

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