Probability logic
From MaRDI portal
Publication:4175264
DOI10.1016/0003-4843(78)90022-0zbMATH Open0394.03033OpenAlexW4205973993MaRDI QIDQ4175264FDOQ4175264
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
Other nonclassical logic (03B60) Categoricity and completeness of theories (03C35) Axioms; other general questions in probability (60A05)
Cited In (34)
- 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
- Some New Probability Operators
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- 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
- Languages for probabilistic modeling over structured and relational domains
- A normal form theorem for Lω1p, with applications
- A computational approach to fuzzy quantifiers in natural languages
- 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 inductive probabilistic reasoning
- A logic for reasoning about probabilities
- 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
- Star-Finite Representations of Measure Spaces
- Probability logic with conditional expectation
- A completeness proof for adapted probability logic
- 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
- A probabilistic interpolation theorem
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)
