主管：教育部
主办：中国人民大学
ISSN 1000-5420  CN 11-1476/C
中国人民大学学报
论模态逻辑系统的有限模型性质
许涤非
On the Finite Model Property of Modal Logics
XU Di-fei
中国人民大学学报 . 2006, (3): 103 -107 .