A decidable multi-agent logic with iterations of upper and lower probability operators

DOI10.1007/978-3-319-90050-6_10MaRDI QIDQ1647486zbMATH OpenOpenAlexFDO

Authors Dragan Doder, Nenad Savić, Zoran Ognjanović

Publication date 26 June 2018

Full work available at URL https://doi.org/10.1007/978-3-319-90050-6_10

zbMATH Keywords

completeness theoremdecidabilityupper and lower probabilitiesprobabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Logics with lower and upper probability operators
• A logic with conditional probability operators
• scientific article; zbMATH DE number 1946849
• A first-order logic for reasoning about higher-order upper and lower probabilities

Cited in

(7)

• Logics with Probability Operators
• Some New Probability Operators
• Logics with lower and upper probability operators
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• scientific article; zbMATH DE number 2064466 (Why is no real title available?)
• The independent choice logic for modelling multiple agents under uncertainty

This page was built for publication: A decidable multi-agent logic with iterations of upper and lower probability operators

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