摘要：在模態邏輯中,出于構造有窮模型這一特殊動機,用于構造過濾的公式集被 設計成對所有子公式封閉的.事實上,僅就構造過濾模型而言,一個布爾代數可以經由 非獨立的生成子生成,因此公式集對子公式封閉是不必要的.運用子代數域的封閉算 子,我們可以在命題邏輯的意義上定義一種貫徹了 D. M. Armstrong的Combinatorialism 本體論的可能世界模型.我們姑且稱相應的理論為局部語義.不難發現,局部語義可以 被應用于大多數涉及到信念狀態,上下文語境的哲學邏輯領域以及人工智能領域.
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
