摘要：情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟，但它的可能世界语义学在哲学解释上却存在诸多困难。在这样的情况下，用情境语义学来改造模态逻辑，努力构造一种动态敏感且数学上严格的形式系统，就决定了今后逻辑发展的基本走势之一。

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