Probability logic

DOI10.1016/0003-4843(78)90022-0MaRDI QIDQ4175264zbMATH OpenOpenAlexFDO

Authors Douglas N. Hoover

Publication date 1978

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(78)90022-0

zbMATH Keywords

CompletenessProbability Logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Categoricity and completeness of theories (03C35) Axioms; other general questions in probability (60A05)

Cited in

(34)

• A probabilistic interpolation theorem
• Haar measure and integral logic
• Completeness theorem for probability models with finitely many valued measure
• Random variables and integral logic
• A stochastic model of mathematics and science
• A logic with approximate conditional probabilities that can model default reasoning
• Hyperfinite models of adapted probability logic
• The well-designed logical robot: learning and experience from observations to the Situation Calculus
• Some New Probability Operators
• Quantified universes and ultraproducts
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
• Quantifying over events in probability logic: an introduction
• Measure Logic
• A computational approach to fuzzy quantifiers in natural languages
• A normal form theorem for L_ω1p, with applications
• Languages for probabilistic modeling over structured and relational domains
• The logic of integration
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Applications of Logics About Simple Probabilities
• Logics with Probability Operators
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A logic for reasoning about probabilities
• A logic for inductive probabilistic reasoning
• Biprobability logic with conditional expectation
• Logics with lower and upper probability operators
• Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
• Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
• Probability logic with conditional expectation
• A completeness proof for adapted probability logic
• Star-Finite Representations of Measure Spaces
• Computational hardness of validity in probability logic
• Completeness theorem for biprobability models
• Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem
• Some first-order probability logics

This page was built for publication: Probability logic

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