摘要：標(biāo)準(zhǔn)一階邏輯具有封閉性。其封閉性主要表現(xiàn)在三個(gè)方面,其一是在關(guān)系下是封閉的,其二是在謂詞置換下是封閉的,其三是在某些積構(gòu)造下也是封閉的。另外,這三條性質(zhì)在擴(kuò)充的一階邏輯語(yǔ)言中也同樣成立。通過(guò)對(duì)基于知識(shí)和信息流的認(rèn)知邏輯中公開(kāi)宣告邏輯的擴(kuò)充,刻畫(huà)包括PDL和模態(tài)μ演算的模態(tài)固定點(diǎn)邏輯的模態(tài)語(yǔ)言可以定義嚴(yán)格的“積封閉”。均衡博弈為無(wú)窮博弈,以模態(tài)固定點(diǎn)邏輯為其博弈語(yǔ)義,均衡博弈具有歷史約束確定的、有利于構(gòu)建模態(tài)固定點(diǎn)邏輯的語(yǔ)義。