摘要：QL指一个命题逻辑系统L的纯量化扩张。克里普克语义学给出了处理命题模态逻辑的一种合理方法（当然也有例外）。但就一阶模态逻辑整体情况看，可以简要地刻画出一个大裂缝：即使简单地可公理化的逻辑也可能需要复杂的语义描述，反过来说，“相对简单的”标架类可能对应的却是不可公理化的逻辑。

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