Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities. (English) Zbl 1305.03021 Log. J. IGPL 22, No. 4, 539-564 (2014). Summary: We define a first-order probabilistic logic with Keisler-style probabilistic quantifiers allowing non-standard values of probabilistic functions. An axiomatic system with two infinitary rules of inference is given and proved to be sound and strongly complete. The decidability of two quite expressive fragments of this logic is proved. The fragments may be used to model not only the usual defaults but also a generalized version of defaults with several variables. MSC: 03B48 Probability and inductive logic Keywords:probabilistic first-order logic; approximate probability; nonstandard analysis; strong completeness; decidability PDF BibTeX XML Cite \textit{N. Ikodinović} et al., Log. J. IGPL 22, No. 4, 539--564 (2014; Zbl 1305.03021) Full Text: DOI