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