摘要
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.
基金
ProjectsupportedbytheNationalNaturalScienceFoundationofChina (GrantNos .196 710 38,6 97330 2 0 ) ,FoundationforExcellentYoungScientists (No .6 972 5 0 0 4) ,FokYingTungEducationFoundation,theNational"86 3"High TechProgramsofChina (No .86 3 30 6 0
