zbMath0884.03021MaRDI QIDQ4378240
Zoran Ognjanović, Miodrag Rašković
Publication date: 4 March 1998
zbMATH Keywords
survey; axiomatization; propositional probability logic
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03B48: Probability and inductive logic