Quantified coalition logic of knowledge, belief and certainty

Abstract

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.