AUL （Arrow Update Logic）是一個刻畫多主體的信念變化的動態(tài)邏輯。AUL通過更新模型中的可及關(guān)系來刻畫行為對主體信念造成的影響。但是,在AUL中信息對所有主體都是公開的,因此AUL無法刻畫在秘密宣告的情況下主體信念狀態(tài)的變化。本論文在AUL的基礎(chǔ)上進(jìn)行擴(kuò)充,得到一個新的動態(tài)邏輯系統(tǒng)PAUL（Private Arrow Update Logic）。所有基于事實的宣告都可以被PAUL刻畫,無論該宣告是公開的還是秘密的。同時,本論文還給出了PAUL的語義圖,并證明了PAUL是可判定的。 

【文章來源】：邏輯學(xué)研究. 2020,13(06)CSSCI

【文章頁數(shù)】：26 頁


本文編號：3227443