Probability logic
From MaRDI portal
Publication:4175264
DOI10.1016/0003-4843(78)90022-0zbMath0394.03033OpenAlexW4205973993MaRDI QIDQ4175264
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
Other nonclassical logic (03B60) Axioms; other general questions in probability (60A05) Categoricity and completeness of theories (03C35)
Related Items
A normal form theorem for Lω1p, with applications ⋮ A completeness proof for adapted probability logic ⋮ Hyperfinite models of adapted probability logic ⋮ A probabilistic interpolation theorem ⋮ Biprobability logic with conditional expectation ⋮ Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ Computational Hardness of Validity in Probability Logic ⋮ Haar measure and integral logic ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ The logic of integration ⋮ Logics with lower and upper probability operators ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ Levels of uniformity ⋮ Quantifying over events in probability logic: an introduction ⋮ Measure Logic ⋮ Star-Finite Representations of Measure Spaces ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ Completeness theorem for biprobability models ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ A logic for reasoning about probabilities ⋮ Random variables and integral logic ⋮ Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem ⋮ Quantified universes and ultraproducts ⋮ Completeness theorem for probability models with finitely many valued measure ⋮ Some first-order probability logics ⋮ A computational approach to fuzzy quantifiers in natural languages ⋮ A logic for inductive probabilistic reasoning ⋮ Probability logic with conditional expectation ⋮ Logics with Probability Operators ⋮ Some New Probability Operators ⋮ Applications of Logics About Simple Probabilities