Probabilistic logics with independence and confirmation

DOI10.1007/s11225-017-9718-zzbMath1417.03171OpenAlexW2604962652MaRDI QIDQ1685481

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

independencedecidabilitycompleteness theoremaxiomatizationprobabilistic support

Mathematics Subject Classification ID

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

Related Items (6)

A probabilistic logic between \(LPP_1\) and \(LPP_2\) ⋮ Logics with lower and upper probability operators ⋮ Reasoning About Degrees of Confirmation ⋮ An epistemic probabilistic logic with conditional probabilities ⋮ Logics with Probability Operators ⋮ Some New Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning about probabilities
• Probability Logics
• A first-order conditional probability logic
• A logic with conditional probability operators
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• A Probabilistic Logic with Polynomial Weight Formulas

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