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

zbMath1057.03028MaRDI QIDQ701749

Zoran Ognjanović, Miodrag Rašković, Radosav Djordjević

Publication date: 16 December 2004

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

zbMATH Keywords

completenessprobabilistic logicfinite ranges of probabilities

Mathematics Subject Classification ID

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

Related Items (9)

A logic with approximate conditional probabilities that can model default reasoning ⋮ Unnamed Item ⋮ \(p\)-adic probability logics ⋮ Completeness theorem for topological class models ⋮ Sequent calculus for classical logic probabilized ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Hierarchies of probabilistic logics ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Completeness theorem for probability models with finitely many valued measure

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