Completeness theorem for biprobability models

DOI10.2307/2274015MaRDI QIDQ3028995zbMATH OpenOpenAlexFDO

Authors 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 setbiprobability modelcompleteness theoremprobability logicprobability quantifiers

Mathematics Subject Classification ID

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

Recommendations

• Completeness Theorem for Singular Biprobability Models
• ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
• Analytic completeness theorem for singular biprobability models
• scientific article; zbMATH DE number 1123883
• Completeness theorem for probability models with finitely many valued measure
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• scientific article; zbMATH DE number 1823891
• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• Barwise Completeness Theorems for Some Biprobability Logics
• scientific article; zbMATH DE number 38461

Cites work

• Probability logic

Cited in

(12)

• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Completeness theorem for probability models with finitely many valued measure
• Biprobability logic with conditional expectation
• MATHEMATICAL PSEUDO-COMPLETION OF THE BGM MODEL
• Completeness Theorem for Singular Biprobability Models
• scientific article; zbMATH DE number 38461 (Why is no real title available?)
• ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
• scientific article; zbMATH DE number 1123883 (Why is no real title available?)
• Barwise Completeness Theorems for Some Biprobability Logics
• Logics with Probability Operators
• A monadic logic for capacity quantifiers
• Completeness theorem for topological class models

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

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