4.2 知识蕴涵模态逻辑公理系统