A first-order probabilistic logic with approximate conditional probabilities
From MaRDI portal
Publication:5172139
DOI10.1093/jigpal/jzt048zbMath1305.03021MaRDI QIDQ5172139
Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković
Publication date: 12 February 2015
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzt048
decidability; nonstandard analysis; strong completeness; approximate probability; probabilistic first-order logic
03B48: Probability and inductive logic