Completeness theorem for a logic with imprecise and conditional probabilities

DOI10.2298/PIM0578035OMaRDI QIDQ5450397zbMATH OpenOpenAlexFDO

Authors Zoran Marković, Miodrag Rašković, Zoran Ognjanović

Publication date 20 March 2008

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/129198

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

conditional probability logicenriched propositional logicnonstandard probabilities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Probability logics
• Logics in Artificial Intelligence
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• scientific article; zbMATH DE number 1929309

Cited in

(15)

• Sequent calculus for classical logic probabilized
• Completeness and incompleteness for plausibility logic
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A p-adic probability logic
• \(p\)-adic probability logics
• How to Restore Compactness into Probabilistic Logics?
• Interpolative Boolean Logic
• Qualitative Possibilities and Necessities
• Hierarchies of probabilistic logics
• Conditional \(p\)-adic probability logic
• Barwise Completeness Theorems for Some Biprobability Logics
• Adelic uncertainty logic
• Logics with Probability Operators
• Some New Probability Operators
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm

This page was built for publication: Completeness theorem for a logic with imprecise and conditional probabilities

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