A logic with conditional probability operators

DOI10.2298/PIM1001085DMaRDI QIDQ2914029zbMATH OpenOpenAlexFDO

Authors Dragan Doder, Bojan Marinković, Aleksandar Perović, Petar Maksimović

Publication date 21 September 2012

Published in Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2298/pim1001085d

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

completeness theoremdecidabilityPSPACE-complexity

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A logic with higher order conditional probabilities
• A logic for reasoning about probabilities
• A logic for reasoning about qualitative probability
• scientific article; zbMATH DE number 988760

Cited in

(17)

• Incomplete Information and Justifications
• Probabilistic logics with independence and confirmation
• A decidable multi-agent logic with iterations of upper and lower probability operators
• Logics in Artificial Intelligence
• A logic with approximate conditional probabilities that can model default reasoning
• Some New Probability Operators
• Reasoning about knowledge and conditional probability
• A logic with higher order conditional probabilities
• scientific article; zbMATH DE number 1004878 (Why is no real title available?)
• Conditional Probability Logic over Conditional Probability Spaces
• Applications of Logics About Simple Probabilities
• Logics with Probability Operators
• A Probabilistic Logic with Polynomial Weight Formulas
• Reasoning About Degrees of Confirmation
• On probabilistic and causal reasoning with summation operators
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• An epistemic probabilistic logic with conditional probabilities

This page was built for publication: A logic with conditional probability operators

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