A probabilistic logic between \(LPP_1\) and \(LPP_2\)

DOI10.1007/s11787-022-00301-zzbMath1500.03009OpenAlexW4210569556MaRDI QIDQ2169137

Šejla Dautović

Publication date: 1 September 2022

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

Full work available at URL: https://doi.org/10.1007/s11787-022-00301-z

zbMATH Keywords

completenessdecidabilityprobabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Cites Work

• Probabilistic logics with independence and confirmation
• A logic for reasoning about probabilities
• Logics with lower and upper probability operators
• Probability Logics
• Unnamed Item

This page was built for publication: A probabilistic logic between \(LPP_1\) and \(LPP_2\)