Completeness theorem for biprobability models

DOI10.2307/2274015zbMath0626.03031OpenAlexW2134384958MaRDI QIDQ3028995

Miodrag Rašković

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274015

zbMATH Keywords

admissible setcompleteness theoremprobability logicprobability quantifiersbiprobability model

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Logic on admissible sets (03C70)

Related Items (5)

Biprobability logic with conditional expectation ⋮ Completeness theorem for topological class models ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Completeness theorem for probability models with finitely many valued measure ⋮ Logics with Probability Operators

Cites Work

• Probability logic

This page was built for publication: Completeness theorem for biprobability models