An analytic completeness theorem for logics with probability quantifiers

From MaRDI portal

Publication:3781086

Jump to:navigation, search

DOI10.2307/2274366zbMath0639.03039OpenAlexW4237616102MaRDI QIDQ3781086

Douglas N. Hoover

Publication date: 1987

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

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

zbMATH Keywords

completeness theorem infinitary logic probability logic analytic set Borel relation probability quantifier countably infinitary connectives finitary quantification

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3781086&oldid=17332306"