Decidability and expressiveness for first-order logics of probability

DOI10.1006/inco.1994.1049zbMath0799.03017OpenAlexW1999428129MaRDI QIDQ1327387

Joseph Y. Halpern, Martín Abadi

Publication date: 12 July 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/818ec4509f5188bc28cd446781b68cc6c02983e2

zbMATH Keywords

complexitypossible worldsmodelsaxiomatizationdomainrelative expressivenessvalidity problemassociating probabilities with first-order languages

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25) Axioms; other general questions in probability (60A05)

Related Items (22)

PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT ⋮ Reasoning about probabilistic sequential programs ⋮ Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ A note on definability in fragments of arithmetic with free unary predicates ⋮ Collapsing probabilistic hierarchies. I ⋮ Reasoning about knowledge and conditional probability ⋮ Quantifying over events in probability logic: an introduction ⋮ Elementary invariants for quantified probability logic ⋮ Probability logics for reasoning about quantum observations ⋮ IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING? ⋮ A continuum-valued logic of degrees of probability ⋮ Probabilistic Logic over Paths ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ Weakly complete axiomatization of exogenous quantum propositional logic ⋮ The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws ⋮ Probabilistic sentence satisfiability: an approach to PSAT ⋮ Knowing-how under uncertainty ⋮ Learning to assign degrees of belief in relational domains ⋮ The probability nesting game ⋮ Some first-order probability logics ⋮ A logic for inductive probabilistic reasoning

This page was built for publication: Decidability and expressiveness for first-order logics of probability