A propositional dynamic logic with qualitative probabilities

DOI10.1023/A:1004602621885zbMath0939.03028OpenAlexW2015208619MaRDI QIDQ1961927

Dimitar P. Guelev

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

zbMATH Keywords

stochastic processes\(\omega\)-completeness theoremdynamic propositional logic of qualitative probabilitiespropositional probabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

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