模态逻辑的信息框架

针对一些学者对情景语义学的质疑，该理论创始人之一巴威斯采用信息流模型理论的技术手段提出从信息视角解释模态概念的信息框架。信息框架，作为模态逻辑的语义框架，与克里普克框架有相同的解释力和适用范围。信息框架能够为形式描述容错性信息流推理的模态信息流逻辑研究提供可能语义基础，为信息流逻辑的进一步深入研究提供理论支持。

Information Frames of Modal Logics

To respond to the doubts from some scholars about situation semantics, Jon Barwise,one of its initiators,has introduced the notion of information frame in terms of techniques from the model theory of information flow to interpret modal concepts from the perspective of information.As a new semantic framework of modal logics,information frames have the same power of explanation and range of application as Kripke frames.Information frames are supposed to provide a potential semantic basis for the study of moda...