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

DOI10.1007/978-3-319-90050-6_10OpenAlexW2800020640MaRDI QIDQ1647486FDOQ1647486

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

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

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)

Cited In (7)

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

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)