%0 Journal Article
%T 局部语言的代数结构——关于局部语义的一些一般性观察（1）<br>Algebraic Structures of Local Languages — Some General Observations about Local Semantics (1)
%A 查非
%J 逻辑学研究
%D 2017
%X 在模态逻辑中，出于构造有穷模型这一特殊动机，用于构造过滤的公式集被设计成对所有子公式封闭的。事实上，仅就构造过滤模型而言，一个布尔代数可以经由非独立的生成子生成，因此公式集对子公式封闭是不必要的。运用子代数域的封闭算子，我们可以在命题逻辑的意义上定义一种贯彻了D. M. Armstrong 的Combinatorialism本体论的可能世界模型。我们姑且称相应的理论为局部语义。不难发现，局部语义可以被应用于大多数涉及到信念状态，上下文语境的哲学逻辑领域以及人工智能领域。<br
%K 局部
%K 语境
%K 过滤
%K 布尔代数
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract277.shtml