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