Completeness theorem for propositional probabilistic models whose measures have only finite ranges

zbMATH Open1057.03028MaRDI QIDQ701749FDOQ701749

Zoran Ognjanović, Radoslav S. Djordjević, Miodrag Rašković

Publication date: 16 December 2004

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1123884
• Validity Measurement in Some Propositional Logics
• scientific article; zbMATH DE number 1823891
• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• scientific article; zbMATH DE number 1929309

zbMATH Keywords

completenessprobabilistic logicfinite ranges of probabilities

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic on admissible sets (03C70)

Cited In (18)

• Completeness theorem for probability models with finitely many valued measure
• A logic with approximate conditional probabilities that can model default reasoning
• Title not available (Why is that?)
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
• Title not available (Why is that?)
• Completeness theorem for topological class models
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• Hierarchies of probabilistic logics
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A probabilistic logic between \(LPP_1\) and \(LPP_2\)
• \(p\)-adic probability logics
• Completeness theorem for a logic with imprecise and conditional probabilities
• Completeness theorem for biprobability models
• Title not available (Why is that?)
• Sequent calculus for classical logic probabilized
• Title not available (Why is that?)

This page was built for publication: Completeness theorem for propositional probabilistic models whose measures have only finite ranges

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