An analytic completeness theorem for logics with probability quantifiers

DOI10.2307/2274366MaRDI QIDQ3781086zbMATH OpenOpenAlexFDO

Authors Douglas N. Hoover

Publication date 1987

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

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

zbMATH Keywords

analytic setBorel relationcompleteness theoremcountably infinitary connectivesfinitary quantificationinfinitary logicprobability logicprobability quantifier

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Other model constructions (03C30) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• Analytic completeness theorem for singular biprobability models
• scientific article; zbMATH DE number 701123
• Probability logics with vector-valued measures
• ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS

Cited in

(4)

• Soundness and completeness results for LEA and probability semantics
• On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
• scientific article; zbMATH DE number 32142 (Why is no real title available?)
• Barwise Completeness Theorems for Some Biprobability Logics

This page was built for publication: An analytic completeness theorem for logics with probability quantifiers

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