A propositional dynamic logic with qualitative probabilities
From MaRDI portal
Publication:1961927
DOI10.1023/A:1004602621885zbMath0939.03028OpenAlexW2015208619MaRDI QIDQ1961927
Publication date: 30 January 2000
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004602621885
stochastic processes\(\omega\)-completeness theoremdynamic propositional logic of qualitative probabilitiespropositional probabilistic logic
Related Items
Reasoning About Degrees of Confirmation ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Logics with Probability Operators ⋮ Probabilistic Temporal Logics ⋮ Some New Probability Operators
Cites Work
- A probabilistic PDL
- Probabilistic duration calculus for continuous time
- Qualitative probability as an intensional logic
- A logic for reasoning about probabilities
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Determiners and logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item