摘要：在模態(tài)邏輯中,出于構(gòu)造有窮模型這一特殊動(dòng)機(jī),用于構(gòu)造過(guò)濾的公式集被 設(shè)計(jì)成對(duì)所有子公式封閉的.事實(shí)上,僅就構(gòu)造過(guò)濾模型而言,一個(gè)布爾代數(shù)可以經(jīng)由 非獨(dú)立的生成子生成,因此公式集對(duì)子公式封閉是不必要的.運(yùn)用子代數(shù)域的封閉算 子,我們可以在命題邏輯的意義上定義一種貫徹了 D. M. Armstrong的Combinatorialism 本體論的可能世界模型.我們姑且稱相應(yīng)的理論為局部語(yǔ)義.不難發(fā)現(xiàn),局部語(yǔ)義可以 被應(yīng)用于大多數(shù)涉及到信念狀態(tài),上下文語(yǔ)境的哲學(xué)邏輯領(lǐng)域以及人工智能領(lǐng)域.