Probabilistic logics with independence and confirmation

DOI10.1007/S11225-017-9718-ZzbMATH Open1417.03171OpenAlexW2604962652MaRDI QIDQ1685481FDOQ1685481

Authors: Dragan Doder, Zoran Ognjanović 

Publication date: 14 December 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9718-z

Recommendations

• Probabilistic logic with independence
• Probabilistic logic with conditional independence formulae
• Probability logics
• A logic for reasoning about qualitative probability
• A logic with conditional probability operators

zbMATH Keywords

independencecompleteness theoremdecidabilityaxiomatizationprobabilistic support

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about knowledge and probability
• A logic for reasoning about probabilities
• A first-order conditional probability logic
• Title not available (Why is that?)
• Probability logics. Probability-based formalization of uncertain reasoning
• Title not available (Why is that?)
• Some considerations on the logics P_FD A logic combining modality and probability
• A Probabilistic Logic with Polynomial Weight Formulas
• Probabilistic logic with conditional independence formulae
• A logic with conditional probability operators
• Title not available (Why is that?)

Cited In (22)

• Probabilistic temporal logic with countably additive semantics
• Some New Probability Operators
• Title not available (Why is that?)
• Probabilistic Modal μ-Calculus with Independent Product
• Markov conditions and factorization in logical credal networks
• An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
• On consistency in probabilistic logic for logical formulas represented by \(B\)-hypertrees
• On the logical consistency of probabilistic predictions
• Logics with Probability Operators
• Reasoning About Degrees of Confirmation
• Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence
• A probabilistic logic between \(LPP_1\) and \(LPP_2\)
• States on symmetric logics: conditional probability and independence
• Logics with lower and upper probability operators
• Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
• Title not available (Why is that?)
• Probabilistic logic with conditional independence formulae
• An epistemic probabilistic logic with conditional probabilities
• \(n\)-tuple algebra-based probabilistic logic
• Title not available (Why is that?)
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• Probabilistic logic with independence

This page was built for publication: Probabilistic logics with independence and confirmation

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