A propositional dynamic logic with qualitative probabilities

DOI10.1023/A:1004602621885MaRDI QIDQ1961927zbMATH OpenOpenAlexFDO

Authors 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

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

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• A logic for reasoning about qualitative probability
• Logics with the Qualitative Probability Operator
• scientific article; zbMATH DE number 1929309
• A probabilistic dynamic logic
• scientific article; zbMATH DE number 1904893

Cites work

• A logic for reasoning about probabilities
• A probabilistic PDL
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Determiners and logic
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 487145 (Why is no real title available?)
• scientific article; zbMATH DE number 3353239 (Why is no real title available?)
• Probabilistic duration calculus for continuous time
• Qualitative probability as an intensional logic

Cited in

(10)

• A survey on temporal logics for specifying and verifying real-time systems
• scientific article; zbMATH DE number 5674843 (Why is no real title available?)
• Logics with Probability Operators
• Probabilistic Temporal Logics
• Some New Probability Operators
• Reasoning About Degrees of Confirmation
• A logic for reasoning about qualitative probability
• Logics with the Qualitative Probability Operator
• A probabilistic dynamic logic
• Decidability of finite probabilistic propositional dynamic logics

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

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