MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC

DOI10.1017/S1755020313000063zbMath1326.03030OpenAlexW2148864855MaRDI QIDQ5402232

Sebastiaan A. Terwijn, Rutger Kuyper

Publication date: 6 March 2014

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

Full work available at URL: https://doi.org/10.1017/s1755020313000063

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Computability of validity and satisfiability in probability logics over finite and countable models ⋮ Levels of uniformity

Cites Work

• Set theory. An introduction to independence proofs. 2nd print
• The Craig interpolation theorem in abstract model theory
• A logic for reasoning about time and reliability
• Can logic be combined with probability? Probably
• The logic of integration
• Concerning measures in first order calculi
• A logic for inductive probabilistic reasoning
• Probabilistic Logic and Induction
• Robust logics
• Unnamed Item
• Unnamed Item
• Unnamed Item