Quantified Coalition Logic of Knowledge, Belief and Certainty

DOI10.1007/978-3-319-57351-9_40zbMath1454.68139OpenAlexW2605825877MaRDI QIDQ3305131

Qingliang Chen, Kaile Su, Xiaowei Huang, Abdul Sattar

Publication date: 5 August 2020

Published in: Advances in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57351-9_40

zbMATH Keywords

computational complexitycomplete axiomatizationcoalition logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Cites Work

• Reasoning about coalitional games
• Quantified coalition logic
• Propositional dynamic logic of regular programs
• A logic for reasoning about knowledge of unawareness
• A computationally grounded logic of visibility, perception, and knowledge
• Higher-Order Coalition Logic
• A Modal Logic for Coalitional Power in Games

This page was built for publication: Quantified Coalition Logic of Knowledge, Belief and Certainty