Probabilistic logics with independence and confirmation

DOI10.1007/S11225-017-9718-ZMaRDI QIDQ1685481zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

independencecompleteness theoremdecidabilityaxiomatizationprobabilistic support

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 4020070 (Why is no real title available?)
• scientific article; zbMATH DE number 3514748 (Why is no real title available?)
• scientific article; zbMATH DE number 1095142 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• A Probabilistic Logic with Polynomial Weight Formulas
• A first-order conditional probability logic
• A logic for reasoning about probabilities
• A logic with conditional probability operators
• Probabilistic logic with conditional independence formulae
• Probability logics. Probability-based formalization of uncertain reasoning
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability

Cited in

(23)

• Probabilistic logic with independence
• Probabilistic temporal logic with countably additive semantics
• Some New Probability Operators
• scientific article; zbMATH DE number 1017516 (Why is no real title available?)
• 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
• Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence
• States on symmetric logics: conditional probability and independence
• Reasoning About Degrees of Confirmation
• A probabilistic logic between \(LPP_1\) and \(LPP_2\)
• Logics with lower and upper probability operators
• Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
• scientific article; zbMATH DE number 7166988 (Why is no real title available?)
• An epistemic probabilistic logic with conditional probabilities
• Probabilistic logic with conditional independence formulae
• \(n\)-tuple algebra-based probabilistic logic
• scientific article; zbMATH DE number 1164041 (Why is no real title available?)
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

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)