基于模糊命题模态逻辑的形式推理系统

• Formal Reasoning System Based on Fuzzy Propositional Modal Logic