摘要：模态系统的推理规则可以用强弱虚实这四种性质进行分类.在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些性质在一个系统的变种或扩充中并不一定保持.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社