Quantified Coalition Logic of Knowledge, Belief and Certainty.

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.