Decidability of finite probabilistic propositional dynamic logics

DOI10.1016/0890-5401(91)90037-3MaRDI QIDQ809069zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 1991

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

Full work available at URL https://doi.org/10.1016/0890-5401(91)90037-3

zbMATH Keywords

decidabilityundecidabilityprobabilistic choicefinite model propertyfinite Probabilistic Propositional Dynamic Logicglobal assignmentsnesting of probability estimations

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• A decidable propositional dynamic logic with explicit probabilities
• Probabilization of logics: completeness and decidability
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• A probabilistic dynamic logic
• Decidability and expressiveness for first-order logics of probability
• Decision complexity of variants of propositional dynamic logic
• A Logic of Probability with Decidable Model Checking
• A propositional dynamic logic with qualitative probabilities
• scientific article; zbMATH DE number 1948170
• A stochastic interpretation of propositional dynamic logic: expressivity

Cites work

• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• scientific article; zbMATH DE number 3890702 (Why is no real title available?)
• scientific article; zbMATH DE number 3371972 (Why is no real title available?)
• scientific article; zbMATH DE number 3194838 (Why is no real title available?)
• A decidable propositional dynamic logic with explicit probabilities
• A practical decision method for propositional dynamic logic (preliminary report)
• A probabilistic PDL
• A probabilistic dynamic logic
• Decidability of finite probabilistic propositional dynamic logics
• Expressing program looping in regular dynamic logic
• First-order dynamic logic
• Propositional dynamic logic of regular programs
• Propositional dynamic logic with local assignments
• Semantics of probabilistic programs
• Verification of Probabilistic Programs

Cited in

(11)

• scientific article; zbMATH DE number 465528 (Why is no real title available?)
• Decidability of finite probabilistic propositional dynamic logics
• Extending propositional dynamic logic for Petri nets
• A probabilistic PDL
• scientific article; zbMATH DE number 7713505 (Why is no real title available?)
• Reasoning about probabilistic sequential programs
• Concurrent program schemes and their logics
• A stochastic interpretation of propositional dynamic logic: expressivity
• Complexity Results for Probabilistic Datalog
• A probabilistic dynamic logic
• A decidable propositional dynamic logic with explicit probabilities

This page was built for publication: Decidability of finite probabilistic propositional dynamic logics

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