正规多模态逻辑的混合系统
null
重庆理工大学学报(社会科学) . 2018, (1): null -null .