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

decidabilitycompleteness theoremupper and lower probabilitiesprobabilistic logic

Mathematics Subject Classification ID

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

Related Items

Multi-agent logics for reasoning about higher-order upper and lower probabilities, Logics with Probability Operators, Some New Probability Operators