DOI10.1007/s10849-019-09301-7zbMath1477.03069MaRDI QIDQ2183579
Zoran Ognjanović, Dragan Doder, Nenad Savić
Publication date: 27 May 2020 Published in: Journal of Logic, Language and Information (Search for Journal in Brave) Full work available at URL: https://boris.unibe.ch/133896/
zbMATH Keywords
decidability; completeness theorem; upper and lower probabilities; probabilistic logic
Mathematics Subject Classification ID
03B48: Probability and inductive logic
03B25: Decidability of theories and sets of sentences