A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different...A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different languages, and an institution of logics for multi-agent systems is constructed.展开更多
文摘A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different languages, and an institution of logics for multi-agent systems is constructed.
基金Supported by the National Natural Science Foundation of China under Grant No.10771129the Innovation Foundation for Doctors of Shaanxi Normal University and the Outstanding Youth Foundation of Lanzhou University of Technology.
