Decidability of finite probabilistic propositional dynamic logics
DOI10.1016/0890-5401(91)90037-3zbMATH Open0732.03022OpenAlexW1979586773MaRDI QIDQ809069FDOQ809069
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
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
decidabilityundecidabilityprobabilistic choicefinite model propertyfinite Probabilistic Propositional Dynamic Logicglobal assignmentsnesting of probability estimations
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)
Cites Work
- Title not available (Why is that?)
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- First-order dynamic logic
- Propositional dynamic logic with local assignments
- A probabilistic PDL
- A decidable propositional dynamic logic with explicit probabilities
- A probabilistic dynamic logic
- Decidability of finite probabilistic propositional dynamic logics
- Semantics of probabilistic programs
- Title not available (Why is that?)
- A practical decision method for propositional dynamic logic (Preliminary Report)
- Verification of Probabilistic Programs
- Expressing program looping in regular dynamic logic
- Title not available (Why is that?)
Cited In (10)
- Concurrent program schemes and their logics
- Extending propositional dynamic logic for Petri nets
- Reasoning about probabilistic sequential programs
- Title not available (Why is that?)
- A probabilistic dynamic logic
- Decidability of finite probabilistic propositional dynamic logics
- A probabilistic PDL
- Complexity Results for Probabilistic Datalog
- Title not available (Why is that?)
- 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)
