The  possible worlds semantics  is a fruitful approach used in Artificial Intelligence (AI) for both  modelling  as well as  reasoning  about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for  knowledge assessment  (KA) with the help of  Monatague-Scott  (MS) semantics of modal logic. In KA questions  asked  and answers  collected  are the central elements and knowledge notions will be defined from these (i.e., possible states of knowledge of subjects in a population with respect to a field of information).
['Vineet Padmanabhan', 'Guido Governatori', 'Subhasis Thakur']
Knowledge Assessment: A Modal Logic Approach