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

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

Nenad Savić, Dragan Doder, 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)

Cited In (6)

• 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
• 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)