模态逻辑系统控制指标

 
原因: