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

DOI10.1007/978-3-319-61581-3_44zbMATH Open1491.03020OpenAlexW2625153196MaRDI QIDQ2401898FDOQ2401898

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

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

Cited In (6)

• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• A logic with higher order conditional probabilities
• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
• A First-order Logic for Reasoning about Knowledge and Probability
• Title not available (Why is that?)
• A non-probabilist principle of higher-order reasoning

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401898)