A first-order logic for reasoning about higher-order upper and lower probabilities

DOI10.1007/978-3-319-61581-3_44zbMath1491.03020OpenAlexW2625153196MaRDI QIDQ2401898

Dragan Doder, Nenad Savić, Zoran Ognjanović

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61581-3_44

zbMATH Keywords

uncertaintyaxiomatizationstrong completenessprobabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Multi-agent logics for reasoning about higher-order upper and lower probabilities

This page was built for publication: A first-order logic for reasoning about higher-order upper and lower probabilities