Completeness theorem for a logic with imprecise and conditional probabilities

DOI10.2298/PIM0578035OzbMath1144.03019OpenAlexW2053576212MaRDI QIDQ5450397

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

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) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70)

Related Items

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