Quantified coalition logic of knowledge, belief and certainty
Author(s)
Chen, Qingliang
Huang, Xiaowei
Su, Kaile
Sattar, Abdul
Year published
2017
Metadata
Show full item recordAbstract
This paper introduces a multi-modal logic of Quantified Coalition Logic of Knowledge, Belief and Certainty (QCLKBC) to establish a logical framework that can model novel properties concerning mental attitudes and strategic power in a system, such as “agent i must be involved in order to convince agent j of the fact φ”. Furthermore, this paper presents an axiomatic system of QCLKBC with the completeness proof, and shows the satisfiability problem for QCLKBC is PSPACE-complete.This paper introduces a multi-modal logic of Quantified Coalition Logic of Knowledge, Belief and Certainty (QCLKBC) to establish a logical framework that can model novel properties concerning mental attitudes and strategic power in a system, such as “agent i must be involved in order to convince agent j of the fact φ”. Furthermore, this paper presents an axiomatic system of QCLKBC with the completeness proof, and shows the satisfiability problem for QCLKBC is PSPACE-complete.
View less >
View less >
Journal Title
Lecture Notes in Computer Science
Volume
10233
Subject
Other information and computing sciences not elsewhere classified
Information and computing sciences